Advances in test generation for testing software and systems Hüsnü YenigünCemal YilmazAndreas Ulrich Introduction 13 October 2015 Pages: 245 - 249
On adaptive experiments for nondeterministic finite state machines Natalia KushikKhaled El-FakihAna R. Cavalli ICTSS 2013 21 November 2014 Pages: 251 - 264
Complete model-based equivalence class testing Wen-ling HuangJan Peleska ICTSS 2013 21 November 2014 Pages: 265 - 283
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets João Pascoal FariaAna C. R. Paiva ICTSS 2013 09 December 2014 Pages: 285 - 304
Model-based testing for concurrent systems: unfolding-based test selection Hernán Ponce de LeónStefan HaarDelphine Longuet ICTSS 2013 05 November 2014 Pages: 305 - 318
Generating test case chains for reactive systems Peter SchrammelTom MelhamDaniel Kroening ICTSS 2013 Open access 15 November 2014 Pages: 319 - 334
Automated test generation using model checking: an industrial evaluation Eduard P. EnoiuAdnan ČauševićPaul Pettersson ICTSS 2013 21 November 2014 Pages: 335 - 353