SAC SVT 2018, April 12, Pau, France - Call for Participation

CALL FOR PARTICIPATION

33rd Annual ACM Symposium on Applied Computing
Software Verification and Testing Track

Pau, France | April 9 - 13, 2018

More information:

• http://sac-svt-2018.imag.fr
• https://www.sigapp.org/sac/sac2018/

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.

Program

This year the track features three sessions, one dedicated to core verification techniques, one
dedicated to Applications and Domain Specific Verification Techniques, finally one dedicated to
testing techniques.

Core Verification

• TwAS: Two-stage Shape Analysis for Speed and Precision. Amey Karkare.
• Verified Compilation of Linearizable Data Structures. Yannick Zakowski, David Cachera, Delphine Demange and David Pichardie.
• Qualitative and Quantitative Analysis with Scheduling Policies in Model Checking. Nhat-Hoa Tran, Yuki Chiba and Toshiaki Aoki.
• Cycle-Bounded Model Checking of PLC Software via Dynamic Large-Block Encoding. Dimitri Bohlender, Daniel Hamm and Stefan Kowalewski.

Applications and Domain-Specific Verification Techniques

• LOCKS: a property specification language for security goals. Rajesh Kumar, Arend Rensink and Marielle Stoelinga.
• TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. Martin Leucker, Cesar Sanchez, Torben Scheffel, Malte Schmitz and Alexander Schramm.
• A Web-Based Tool for Analysing Normative Documents in English. John J. Camilleri, Mohammad Reza Haghshenas and Gerardo Schneider.
• On the Use of Sequence Mining within Spectrum Based Fault Localisation. Gulsher Laghari and Serge Demeyer.

Testing

• Generating Minimal Test Set Satisfying MC/DC Criterion via SAT Based Approach. Ling Yang, Jun Yan and Jian Zhang.
• Korat-API: A Framework to Enhance Korat to Better Support Testing and Reliability Techniques. Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni and Sarfraz Khurshid.
• AutoPUT: An Automated Technique for Retrofitting Closed Unit Tests into Parameterized Unit Tests. Keita Tsukamoto, Yuta Maezawa and Shinichi Honiden.

Venue and Travel Information

See https://www.sigapp.org/sac/sac2018/travel.html.

Registration

See https://www.sigapp.org/sac/sac2018/registration.html.