Skip to Main content Skip to Navigation
Directions of work or proceedings

Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15)

Gwen Salaün 1 Mariëlle Stoelinga 2 
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Software drives today's world. Daily needs like electricity supply, transportation , groceries, are all empowered by software, and not to mention communication and emails. This dependency will only increase, given innovations like the Internet-of-things, 3D printing, self-driving cars and drones. Therefore, software correctness is more important than ever: nobody wants drones to drop on our heads, autonomous cars to crash, or intrudes to enter our house via Internet-of-things devices. Hence, rigorous verification and testing is of paramount importance , as a technique to assess and improve the quality of software systems. This is exactly the topic of the Software Verification and Testing (SVT) track of the ACM Symposium on Applied Computing. This special issue of the Journal on Science of Computer Programming arose from the SVT track at the 30 th ACM Symposium on Applied Computing, held in Salamanca, Spain on April 13-17, 2015. The track received 60 full paper submissions. After a careful reviewing process, the international Program Committee decided to select 14 papers for presentation during the symposium and inclusion in the SAC'15 proceedings. From these 14 papers, the six best papers were selected and invited for an extended version to this special issue. These extended papers went again through a rigorous peer review process; five papers were finally accepted and are included in this special issue. The papers included here provide key insights on different formal verification and testing approaches.
Document type :
Directions of work or proceedings
Complete list of metadata
Contributor : Gwen Salaün Connect in order to contact the contributor
Submitted on : Monday, December 19, 2016 - 11:25:17 AM
Last modification on : Wednesday, July 6, 2022 - 4:22:30 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 11:12:12 AM


Files produced by the author(s)



Gwen Salaün, Mariëlle Stoelinga. Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15). France. ACM, 2016, ⟨10.1016/j.scico.2016.10.001⟩. ⟨hal-01419302⟩



Record views


Files downloads