Special issue: software verification and testing
- 257 Downloads
Welcome to the special issue dedicated to the selected extended papers of the Software Verification and Testing (SVT 2012) track held at the 27th ACM Symposium on Applied Computing (ACM SAC 2012). SVT 2012 attracted 43 submissions of which 12 papers were selected for presentation and publication in the proceedings of ACM SAC 2012. From these 12 papers, six were invited to the special issue and after several rigorous rounds of reviews (by at least three expert reviewers), five papers were accepted for inclusion in this special issue. This means that less than 12 percent of our initial submissions, after several rounds of review and revision, made their way into the special issue before you.