Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011)

摘要

The 4th International Conference on Software Testing, Verification, and Validation (ICST 2011) was held on 21-25 March 2011, in Berlin, Germany. The aim of the ICST conference is to bring together researchers and practitioners who study the theory, techniques, technologies, and applications that concern all aspects of software testing, verification, and validation of software systems. The ICST 2011 program chairs, Mark Harman and Bogdan Korel, selected 35 research papers for inclusion in the proceedings from among 166 submissions. All papers were refereed by at least three program committee members. Of the 35 papers accepted, we selected six papers for consideration for this special issue of STVR. These papers were extended from their conference version by the authors and were reviewed according to the STVR reviewing process. Five papers successfully completed the review process and are contained in this special issue. These papers are spread across two special issues of STVR. This issue includes the first three papers. The rest of this editorial provides a brief overview of these three papers.