Modeling and visualizing object-oriented programs with Codecharts A. H. EdenE. GasparisR. Kazman OriginalPaper 10 January 2013 Pages: 1 - 28
Time-triggered runtime verification Borzoo BonakdarpourSamaneh NavabpourSebastian Fischmeister OriginalPaper 15 January 2013 Pages: 29 - 60
Automatic verification of competitive stochastic systems Taolue ChenVojtěch ForejtAistis Simaitis OriginalPaper 16 February 2013 Pages: 61 - 92
Ranking function synthesis for bit-vector relations Byron CookDaniel KroeningChristoph M. Wintersteiger OriginalPaper 21 March 2013 Pages: 93 - 120