posted by user: mquinson || 1756 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

KLP@SAC 2019   Knowledge and Language Processing Track @ The 34th ACM Symposium on Applied Computing - ACM SAC 2019
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
KomIS@ACM-SAC 2019   ACM SAC 2019 - KomIS track: Application of AI and Big Data Analytics
SIGIR 2019   International ACM SIGIR Conference on Research and Development in Information Retrieval
ACM--ICIGP--Ei, Scopus 2019   ACM--2019 2nd International Conference on Image and Graphics Processing (ICIGP 2019)--Ei Compendex, Scopus
ACM--ICDSP--EI, Scopus 2019   ACM--2019 3rd International Conference on Digital Signal Processing (ICDSP 2019)--Ei Compendex and Scopus
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
ESEC/FSE 2019   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
ICBDC--ACM, Ei and Scopus 2019   ACM--2019 4th International Conference on Big Data and Computing (ICBDC 2019)--Ei Compendex and Scopus