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.

Tags

Tags: Testing, Requirements, Coverage Criteria, LTL

Find It