User menu

Testing Planning Domains (without Model Checkers)

Bibliographic reference Raimondi, Franco ; Pecheur, Charles ; Brat, Guillaume. Testing Planning Domains (without Model Checkers).Third Workshop on Model-Based Testing (Braga, Portugal , du 31/03/2010 au 01/04/2010). In: Proceedings of the third workshop on model-based testing, 2010
Permanent URL http://hdl.handle.net/2078.1/140518