SAC-SVT 2021: Software Verification and Testing Track at SAC 2021
Call for Papers
ACM/SIGAPP Symposium on Applied Computing (SAC)
The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last more than thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing.
The 36th ACM Symposium on Applied Computing (SAC 2021) is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place on March 22-26, 2021 in Gwangju, Korea.
Software Verification and Testing Track (SVT)
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. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software.
Topics
Possible topics include, but are not limited to:
model checking
theorem proving
correct by construction development
model-based testing
software testing
symbolic execution
static and dynamic analysis
abstract interpretation
analysis methods for dependable systems
software certification and proof carrying code
fault diagnosis and debugging
verification and validation of large scale software systems
real world applications and case studies applying software testing and verification
benchmarks and data sets for software testing and verification
Submission Guidelines
Paper submissions must report on original, unpublished work. Submitted papers will undergo a double-blind review process. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. We welcome research papers and posters. Research papers should have at most 8 two-column pages in ACM format (further two pages, to a total of 10 pages, may be available at a charge). The length of a poster is limited to three pages (one extra page may be available at a charge). Please comply to this page limitation already at submission time.
Furthermore, in the context of the Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest, graduate students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2021 website. Submission of the same abstract to multiple tracks is not allowed.
Accepted papers will be published in the ACM SAC 2021 proceedings in the ACM digital library. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library.
The author kit: http://www.sigapp.org/sac/sac2021/authorkit.html
The submission system for regular papers: http://www.sigapp.org/sac/sac2021/submission.html
The submission system for SRC (Student Research Competiotion) abstracts: http://www.sigapp.org/sac/sac2021/submission_src.html
Important Dates
Paper and SRC abstract submission:
September 15,2020October 12, 2020, 11:59PM (UTC) (Extended)Notification
November 10, 2020November 24, 2020Camera-ready version of accepted papers:
November25, 2020December 21, 2020SAC 2021 March 22-26, 2021
Track Chairs
Erika Abraham, RWTH Aachen University, Germany
Nikolai Kosmatov, CEA List and Thales Research & Technology, France
Program Committee
Wolfgang Ahrendt, Chalmers University, Sweden
Sébastien Bardin, CEA List, France
Ezio Bartocci, TU Vienna, Austria
Bernd Becker, University of Freiburg, Germany
Dirk Beyer, LMU Munich, Germany
Borzoo Bonakdarpour, Michigan State University, USA
Christian Colombo, University of Malta, Malta
Cristina David, University of Cambridge, UK
Maria del Mar Gallardo, University of Malaga, Spain
Cathérine Dubois, ENSIIE, France
Yliès Falcone, University Grenoble Alpes, Inria, France
João Pascoal Faria, INESC TEC and University of Porto, Portugal
Angelo Gargantini, University of Bergamo, Italy
Matthias Güdemann, UAS Münich, Germany
Ernst Moritz Hahn, University of Twente, the Netherlands
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA
Marieke Huisman, University of Twente, the Netherlands
Ralf Huuck, The University of New South Wales, Australia
Thierry Jéron, Inria, France
Maurizio Leotta, University of Genoa, Italy
Martin Leucker, University of Lübeck, Germany
Frédéric Loulergue, University of Orléans, France
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Brian Nielsen, Aalborg University, Denmark
Peter Csaba Ölveczky, University of Oslo, Norway
Jun Pang, University of Luxembourg, Luxembourg
Mike Papadakis, University of Luxembourg, Luxembourg
Antoine Rollet, Bordeaux INP, LaBRI, France
Gwen Salaün, University Grenoble Alpes, Inria, France
Julien Signoles, CEA List, France
Marjan Sirjani, Malardalen University, Sweden
Mark Utting, The University of Queensland, Australia
Tom van Dijk, University of Twente, Netherlands
Neil Walkinshaw, University of Sheffield, UK
Anton Wijs, Technische Universiteit Eindhoven, the Netherlands
Burkhart Wolff, Université Paris-Saclay, LRI, France
Franz Wotawa, TU Graz, Austria
Rongxin Wu, Xiamen University, China
Nina Yevtushenko, Tomsk State University, Russia
Lijun Zhang, ISCAS, China
Accepted Full Papers:
Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith. Md Rafiqul Islam Rabin and Mohammad Amin Alipour
Embeddings Between State and Action Labeled Probabilistic Systems. Susmoy Das and Arpit Sharma
DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code. Ena Tominaga, Yoshitaka Arahori and Katsuhiko Gondow
Symbolic Execution of NoSQL Applications using Versioned Schemas. Hendrik Winkelmann and Herbert Kuchen
Solidifier: bounded model checking Solidity using lazy contract deployment and precise memory modelling. Pedro Antonino and A. W. Roscoe
Symblicit Exploration and Elimination for Probabilistic Model Checking. Ernst Moritz Hahn and Arnd Hartmanns
Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker. Abhishek Singh, Meenakshi D'Souza and Arshad Ebrahim
A small-step approach to multi-trace checking against interactions. Erwan Mahe, boutheina bannour, Christophe Gaston, Arnault Lapitre and Pascale Le Gall
Enhancing Constraint-based Repair of Data Structure Errors that Recur using Memoization. Nima Dini, Razieh Nokhbeh Zaeem and Sarfraz Khurshid
Accepted short (poster) papers:
Offline Monitoring of LTL with Bit Vectors. Kun Xie and Sylvain Hallé
Runtime Verification of Implantable Medical Devices Using Multiple Physiological Signals. Abhinandan Panda, Srinivas Pinisetty, Partha Roop, Ajay Babu Kambhampati and M Sabarimalai Manikandan
Discovering Multiple Design Approaches in Programming Assignment Submissions. Nikhila KN, Sujit Kumar Chakrabarti and Manish Gupta
Program
All times are indicated in Korean time (KST) that is GMT+9 hours.
Regular paper presentation is 20 min + 5 min for questions.
Poster paper presentation is 10 min + 5 min for questions.
Session SVT-1. Analysis
1st round: Monday, March 22, 2021, 11:10am - 12:50pm KST, Session chairs: Nima Dini, Nikolai Kosmatov
2nd round: Monday, March 22, 2021, 9:10pm - 10:50pm KST, Session chairs: Erwan Mahe, Erika Abraham
#1245: DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code. Ena Tominaga, Yoshitaka Arahori and Katsuhiko Gondow
#1251: Solidifier: bounded model checking Solidity using lazy contract deployment and precise memory modelling. Pedro Antonino and A. W. Roscoe
#1495: A small-step approach to multi-trace checking against interactions. Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre and Pascale Le Gall
#1701: Enhancing Constraint-based Repair of Data Structure Errors that Recur using Memoization. Nima Dini, Razieh Nokhbeh Zaeem and Sarfraz Khurshid
Session SVT-2. Applications
1st round: Monday, March 22, 2021, 2:00pm - 3:40pm KST, Session chairs: Moritz Hahn, Erika Abraham
2nd round: Tuesday, March 23, 2021, 12:00am - 1:40am KST, Session chairs: Pedro Antonino, Nikolai Kosmatov
#1012: Сonfiguring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith. Md Rafiqul Islam Rabin and Mohammad Amin Alipour
#1249: Symbolic Execution of NoSQL Applications using Versioned Schemas. Hendrik Winkelmann and Herbert Kuchen
#1460: Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker. Abhishek Singh, Meenakshi D'Souza and Arshad Ebrahim
Session SVT-3. Probabilistic Systems
1st round: Monday, March 22, 2021, 4:10pm - 5:40pm KST, Session chairs: Erika Abraham
2nd round: Tuesday, March 23, 2021, 2:10am - 3:50am KST, Session chairs: Arpit Sharma
#1182: Embeddings Between State and Action Labeled Probabilistic Systems. Susmoy Das and Arpit Sharma
#1274: Symblicit Exploration and Elimination for Probabilistic Model Checking. Ernst Moritz Hahn and Arnd Hartmanns
These two presentations will be followed by two presentations of the INTOP track.
SVT Poster Session (Session P3-D)
1st round: Wednesday, March 24, 2021, 9:00am -10:10am KST, Session chairs: Sylvain Hallé, Md Rafiqul Islam Rabin
2nd round: Wednesday, March 24, 2021, 7:00pm - 8:10pm KST, Session chairs: Meenakshi D'Souza, Nikolai Kosmatov
#1134: Offline Monitoring of LTL with Bit Vectors. Kun Xie and Sylvain Hallé
#1424: Runtime Verification of Implantable Medical Devices Using Multiple Physiological Signals. Abhinandan Panda, Srinivas Pinisetty, Partha Roop, Ajay Babu Kambhampati and M Sabarimalai Manikandan
#1426: Discovering Multiple Design Approaches in Programming Assignment Submissions. Nikhila KN, Sujit Kumar Chakrabarti and Manish Gupta
For more information of the SAC 2021 program and presenter guidelines, see
https://www.sigapp.org/sac/sac2021/program.html
https://www.sigapp.org/sac/sac2021/file2021/SAC2021-Program-Announcement-Feb09.pdf