A Formal Analysis of Requirements-Based Testing

TitleA Formal Analysis of Requirements-Based Testing
Publication TypeConference Paper
Year of Publication2009
AuthorsPecheur, C, Raimondi F, Brat G
EditorACM
URLhttp://lvl.info.ucl.ac.be/Publications/AFormalAnalysisOfRequirements-BasedTesting