Talks
Testing Planning Domains (without Model Checkers)
- Title
- Testing Planning Domains (without Model Checkers)
- Speaker(s)
- Charles Pecheur
- Context
- MBT Workshop, Braga, Portugal, Mar 31, 2007
- File(s)
- pecheur-mbt2007-slides
Related Publication(s):
- Testing Planning Domains (without Model Checkers). Franco Raimondi, Charles Pecheur, Guillaume Brat. Third Workshop on Model-Based Testing (MBT 2007), Braga, Portugal.