Testing Planning Domains (without Model Checkers)

TitleTesting Planning Domains (without Model Checkers)
Publication TypeConference Paper
Year of Publication2007
AuthorsRaimondi, F, Pecheur C, Brat G
Conference NameThird Workshop on Model-Based Testing (MBT 2007), Braga, Portugal
URLhttp://lvl.info.ucl.ac.be/Publications/TestingPlanningDomainsWithoutModelCheckers