Accepted Papers

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