1. Model-based testing of software and systems: recent advances and challenges

   • Alexandre Petrenko
   • Adenilso Simao
   • José Carlos Maldonado

   Introduction 22 June 2012 Pages: 383 - 386

2. Alternating simulation and IOCO

   • Margus Veanes
   • Nikolaj Bjørner

   ICTSS 2010 03 November 2011 Pages: 387 - 405

3. More testable properties

   • Yliès Falcone
   • Jean-Claude Fernandez
   • Laurent Mounier

   ICTSS 2010 08 December 2011 Pages: 407 - 437

4. Model generation for quantified formulas with application to test data generation

   • Christoph D. Gladisch

   ICTSS 2010 11 March 2012 Pages: 439 - 459

5. Multi-objective optimization algorithms applied to the class integration and test order problem

   • Silvia Regina Vergilio
   • Aurora Pozo
   • Tiago Nobre

   ICTSS 2010 01 March 2012 Pages: 461 - 475