Regular papers
The PC of SAC-SVT 2018 ended up accepting the below list of 11 papers (in no particular order) for publication in the proceedings and presentation at the conference.
The accepted papers were selected out of 43 papers submitted to the track. It corresponds to an acceptance rate of roughly 25%.
All submitted papers have been thoroughly reviewed and actively discussed by the PC members.
| Title | Authors |
| TwAS: Two-stage Shape Analysis for Speed and Precision | Amey Karkare |
| A Web-Based Tool for Analysing Normative Documents in English | John J. Camilleri, Mohammad Reza Haghshenas and Gerardo Schneider |
| Qualitative and Quantitative Analysis with Scheduling Policies in Model Checking | Nhat-Hoa Tran, Yuki Chiba and Toshiaki Aoki |
| Verified Compilation of Linearizable Data Structures | Yannick Zakowski, David Cachera, Delphine Demange and David Pichardie |
| Cycle-Bounded Model Checking of PLC Software via Dynamic Large-Block Encoding | Dimitri Bohlender, Daniel Hamm and Stefan Kowalewski |
| Generating Minimal Test Set Satisfying MC/DC Criterion via SAT Based Approach | Ling Yang, Jun Yan and Jian Zhang |
| LOCKS: a property specification language for security goals | Rajesh Kumar, Arend Rensink and Marielle Stoelinga |
| On the Use of Sequence Mining within Spectrum Based Fault Localisation | Gulsher Laghari and Serge Demeyer |
| TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams | Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz and Alexander Schramm |
| 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 |