posted by organizer: buresm3 || 2156 views || tracked by 5 users: [display]

SW Testing Track - RACS 2015 : Software Testing Track of RACS 2015

FacebookTwitterLinkedInGoogle

Link: http://sites.google.com/site/acmracs2015softwaretesting/
 
When Oct 9, 2015 - Oct 12, 2015
Where Prague
Submission Deadline Jun 16, 2015
Notification Due Jun 30, 2015
Final Version Due Jul 31, 2015
Categories    software testing   software engineering   quality assurance   software quality
 

Call For Papers

--- 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.

Related Resources

HVC 2017   Haifa Verification Conference
ICSIP-IEEE 2017   2nd International Conference on Signal and Image Processing - IEEE
CGDEIJ 2017   Computer Game Development and Education: An International Journal
DevTernity 2017   DevTernity 2017 International Conference, Riga, Latvia
Correctness 2017   First International Workshop on Software Correctness for HPC Applications
ICFEM 2017   19th International Conference on Formal Engineering Methods
SLE 2017   10th ACM SIGPLAN International Conference on Software Language Engineering
EPIA 2017   EPIA Conference on Artificial Intelligence -- Journal Track
EDCC 2017   13th European Dependable Computing Conference
ModComp 2017   4rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2017