| 57 | -- | 58 | Mohammad Reza Mousavi, Jun Pang. Special issue: software verification and testing |
| 59 | -- | 77 | Reynald Affeldt. On construction of a library of formally verified low-level arithmetic functions |
| 79 | -- | 93 | Sandeep Dasgupta, Amey Karkare, Vinay K. Reddy. Precise shape analysis using field sensitivity |
| 95 | -- | 104 | Gian Perrone, Søren Debois, Thomas T. Hildebrandt. A verification environment for bigraphs |
| 105 | -- | 117 | Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber. An experience report on the verification of autonomic protocols in the cloud |
| 119 | -- | 131 | Junaid Haroon Siddiqui, Sarfraz Khurshid. Scaling symbolic execution using staged analysis |