User menu

A Formal Analysis of Requirements-Based Testing

Bibliographic reference Pecheur, Charles ; Raimondi, Franco ; Brat, Guillaume. A Formal Analysis of Requirements-Based Testing.ISSTA 2009 : Proceedings of the Eighteenth International Symposium on Software Testing and Analysis (Chicago, IL, USA, du 19/07/2009 au 23/07/2009). In: Proceedings of the eighteenth international symposium on Software testing and analysis, ACM2009, p.1-9
Permanent URL http://hdl.handle.net/2078.1/79725