posted by user: mquinson || 1329 views || tracked by 4 users: [display]

ACM SAC SVT 2016 : ACM Symposium on Applied Computing -- Track Software Verification and Testing

FacebookTwitterLinkedInGoogle

Link: http://antares.sip.ucm.es/svt16/
 
When Apr 3, 2016 - Apr 8, 2016
Where Pisa, Italy
Submission Deadline Sep 11, 2015
Notification Due Nov 13, 2015
Final Version Due Dec 11, 2015
Categories    verification
 

Call For Papers

Symposium on Applied Computing been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world over the past thirty years. SAC 2016 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be hosted by the University of Pisa and Scuola Superiore Sant’Anna University, Italy.

The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. These areas include a broad range of topics, but are not limited to:

- Model checking
- Theorem proving
- Correct by construction development
- Model-based testing
- Verification-based testing
- Symbolic execution
- Static and run-time analysis
- Abstract interpretation
- Analysis methods for dependable systems
- Software certification and proof carrying code
- Fault diagnosis and debugging
- Verification of large scale software systems
- Real world applications and case studies applying software verification

Related Resources

SAC PL 2017   ACM SAC'17 PL Track
HVC 2017   Haifa Verification Conference
CHI 2018   ACM CHI Conference on Human Factors in Computing Systems
ALP4IoT 2017   1st Workshop on Architectures, Languages and Paradigms for IoT
WSDM 2018   The 11th ACM International Conference on Web Search and Data Mining
IMWUT (4) 2017   Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (4)
ICMSS - Ei 2018   ACM--2018 2nd International Conference on Management Engineering, Software Engineering and Service Sciences (ICMSS 2018)--Ei Compendex
ACM TOMM SI on DSVCC 2017   ACM TOMM Special Issue on Delay-Sensitive Video Computing in the Cloud
ACM--ICCIP 2017   ACM--2017 the 3rd International Conference on Communication and Information Processing (ICCIP 2017)--Ei Compendex, ISI Web of Science and Scopus
ACM--ICMCE 2017   ACM--2017 6th International Conference on Mechatronics and Control Engineering (ICMCE 2017)--Ei Compendex, ISI Web of Science and Scopus