1. Advances in test generation for testing software and systems

   • Hüsnü Yenigün
   • Cemal Yilmaz
   • Andreas Ulrich

   Introduction 13 October 2015 Pages: 245 - 249

2. On adaptive experiments for nondeterministic finite state machines

   • Natalia Kushik
   • Khaled El-Fakih
   • Ana R. Cavalli

   ICTSS 2013 21 November 2014 Pages: 251 - 264

   

3. Complete model-based equivalence class testing

   • Wen-ling Huang
   • Jan Peleska

   ICTSS 2013 21 November 2014 Pages: 265 - 283

   

4. A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets

   • João Pascoal Faria
   • Ana C. R. Paiva

   ICTSS 2013 09 December 2014 Pages: 285 - 304

   

5. Model-based testing for concurrent systems: unfolding-based test selection

   • Hernán Ponce de León
   • Stefan Haar
   • Delphine Longuet

   ICTSS 2013 05 November 2014 Pages: 305 - 318

   

6. Generating test case chains for reactive systems

   • Peter Schrammel
   • Tom Melham
   • Daniel Kroening

   ICTSS 2013 Open access 15 November 2014 Pages: 319 - 334

   

7. Automated test generation using model checking: an industrial evaluation

   • Eduard P. Enoiu
   • Adnan Čaušević
   • Paul Pettersson

   ICTSS 2013 21 November 2014 Pages: 335 - 353