Volume 9, Issue 2 | Innovations in Systems and Software Engineering

Search all Innovations in Systems and Software Engineering articles

Volume 9, Issue 2

June 2013

Special issue : software verification and testing

Issue Editors:

M.R. Mousavi,
Jun Pang

6 articles in this issue

Special issue: software verification and testing
Mohammad Reza Mousavi
Jun Pang
SI: SAC-SVT'12 30 April 2013 Pages: 57 - 58
On construction of a library of formally verified low-level arithmetic functions
Reynald Affeldt
SI: SAC-SVT'12 23 May 2013 Pages: 59 - 77
Precise shape analysis using field sensitivity
Sandeep Dasgupta
Amey Karkare
Vinay Kr Reddy
SI: SAC-SVT'12 03 April 2013 Pages: 79 - 93
A verification environment for bigraphs
Gian Perrone
Søren Debois
Thomas T. Hildebrandt
SI: SAC-SVT'12 30 April 2013 Pages: 95 - 104
An experience report on the verification of autonomic protocols in the cloud
Gwen Salaün
Fabienne Boyer
Olivier Gruber
SI: SAC-SVT’12 02 April 2013 Pages: 105 - 117
Scaling symbolic execution using staged analysis
Junaid Haroon Siddiqui
Sarfraz Khurshid
SI: SAC-SVT’12 26 March 2013 Pages: 119 - 131