1. Modeling and visualizing object-oriented programs with Codecharts

   • A. H. Eden
   • E. Gasparis
   • R. Kazman

   OriginalPaper 10 January 2013 Pages: 1 - 28

   

2. Time-triggered runtime verification

   • Borzoo Bonakdarpour
   • Samaneh Navabpour
   • Sebastian Fischmeister

   OriginalPaper 15 January 2013 Pages: 29 - 60

   

3. Automatic verification of competitive stochastic systems

   • Taolue Chen
   • Vojtěch Forejt
   • Aistis Simaitis

   OriginalPaper 16 February 2013 Pages: 61 - 92

   

4. Ranking function synthesis for bit-vector relations

   • Byron Cook
   • Daniel Kroening
   • Christoph M. Wintersteiger

   OriginalPaper 21 March 2013 Pages: 93 - 120