Assessing the effects of introducing a new software development process: a methodological description Agneta NilssonLaura M. CastroThomas Arts Regular Paper 13 April 2013 Pages: 1 - 16
Real-time specifications Alexandre DavidKim G. LarsenAndrzej WÄ…sowski Regular Paper 06 August 2013 Pages: 17 - 45
Termination proofs for linear simple loops Hong Yi ChenShaked FlurSupratik Mukhopadhyay Regular Paper 14 August 2013 Pages: 47 - 57
A systematic review of state-based test tools Muhammad ShafiqueYvan Labiche regular paper 08 November 2013 Pages: 59 - 76
A construction and minimization service for continuous probability distributions Reza PulunganHolger Hermanns Regular Paper 07 December 2013 Pages: 77 - 90
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures Daniel LinckeSibylle SchuppCezar Ionescu Regular Paper 12 February 2014 Pages: 91 - 105
Testing abstract behavioral specifications Peter Y. H. WongRichard BubelMuddassar Azam Sindhu Regular Paper 21 February 2014 Pages: 107 - 119