Guillaume Brat

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Charles Pecheur, Franco Raimondi, Guillaume Brat: A formal analysis of requirements-based testing. ISSTA 2009: 47-56

2007

1 Franco Raimondi, Charles Pecheur, Guillaume Brat: Testing Planning Domains (without Model Checkers). Electr. Notes Theor. Comput. Sci. 190(2): 113-125 (2007)

	2009
2		Charles Pecheur, Franco Raimondi, Guillaume Brat: A formal analysis of requirements-based testing. ISSTA 2009: 47-56
	2007
1		Franco Raimondi, Charles Pecheur, Guillaume Brat: Testing Planning Domains (without Model Checkers). Electr. Notes Theor. Comput. Sci. 190(2): 113-125 (2007)

Coauthor Index