Model-based testing of software and systems: recent advances and challenges Alexandre PetrenkoAdenilso SimaoJosé Carlos Maldonado Introduction 22 June 2012 Pages: 383 - 386
Alternating simulation and IOCO Margus VeanesNikolaj Bjørner ICTSS 2010 03 November 2011 Pages: 387 - 405
More testable properties Yliès FalconeJean-Claude FernandezLaurent Mounier ICTSS 2010 08 December 2011 Pages: 407 - 437
Model generation for quantified formulas with application to test data generation Christoph D. Gladisch ICTSS 2010 11 March 2012 Pages: 439 - 459
Multi-objective optimization algorithms applied to the class integration and test order problem Silvia Regina VergilioAurora PozoTiago Nobre ICTSS 2010 01 March 2012 Pages: 461 - 475