--- NEW: Submission deadline extended to Jun 16, 2015 ---


The Software Testing track of ACM RACS 2015 is dedicated to research advances in software testing and verification, especially areas of test design process, formal methods, model based testing, test automation and software quality metrics.

Researchers and industrial experts are encouraged to submit a paper to review by the Program Committee.

Researchers and industrial experts are encouraged to submit a paper in area of software testing and verifications, preferably in the following areas:

- Automated testing and maintenance issues of test automation
- Economics of testing
- Metrics for software quality and efficiency of testing
- Test design techniques
- Formal methods for software testing
- Model based testing
- Testing in agile development

Accepted papers and posters will be published in ACM RACS conference proceedings, available at ACM digital library. Proceedings will be submitted for indexing in Scopus, DBLP and other indexes.

Extended versions of selected papers will be published in selected international journals as a special section for the RACS 2015.