Accepted Contributions

Poster: SIFT: A Multithreading Extension to KLEE
Tuba Yavuz
University of Florida
Presentation: video slides poster

Toward Automatic Test Synthesis for Performance Portable Programs
Keita Teranishi, Shyamali Mulkherjee, Richard Rutledge, Samuel Pollard, Nicolas Morales, Noah Evans, Alessandro Orso and Vivek Sarkar
Sandia National Laboratories
Presentation: video slides

A Bounded Symbolic-Size Model for Symbolic Execution
David Trabish, Noam Rinetzky and Shachar Itzhaky
Tel-Aviv University, Technion
Presentation: video slides

Toward Optimal MC/DC Test Case Generation
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh and Arpita Dutta
National Institute National University of Singapore, Huawei Research Centre Canada, National Institute of Technology Warangal
Presentation: video slides

Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models
Sören Tempel, Vladimir Herdt and Rolf Drechsler
University of Bremen, DFKI GmbH
Presentation: video slides

(Auto)Chopper in the Wild
Martin Nowack, Jordy Ruiz, Ahmed Zaki and Cristian Cadar
Imperial College London

Poster: Address-Aware Query Caching for Symbolic Execution
David Trabish, Noam Rinetzky and Shachar Itzhaky
Tel-Aviv University, Technion
Presentation: video slides

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb
CEA LIST, LIRMM, Simula

Poster: UTBot Simplifies Auto Test Generation
Vladislav Kalugin, Pavel Iatchenii, Samat Gaynutdinov, Saveliy Grigoryev, Svetlana Shmidt, Alexey Utkin, Dmitry Ivanov, Aleksei Pleshakov, Vadim Volodin, Elena Ilina, Pavel Ponomarev and Konstantin Rybkin
Presentation: video slides poster

Controlling Side Effects in Program Repair using Symbolic Execution
Nikhil Parasaram, Earl Barr and Sergey Mechtaev
University College London
Presentation: video slides

Poster: A Tight Integration of Symbolic Execution and Fuzzing
Sebastien Bardin, Michaël Marcozzi and Yaelle Vincont
CEA LIST, Université Paris-Saclay
Presentation: video slides

Poster: Symbolic Execution Projects from the Software Reliability Group
Cristian Cadar, Frank Busse, Martin Nowack, Jordy Ruiz, Daniel Schemmel and Ahmed Zaki
Imperial College London
Presentation: video slides poster

Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations
Richard Rutledge, Alessandro Orso and Keita Teranishi
Georgia Tech
Presentation: video slides

Symbolic Execution the Swiss-Knife of the Reverse Engineer Toolbox
Robin David, Christian Heitman and Richard Abou Chaaya
Quarkslab
Presentation: video slides

Poster: Enabling Continuous Large Scale Software Engineering Experimentation in the Cloud
Jonathan Bell, Christopher Timperley, Michael Hilton and Lauren Herckis
Northeastern University, Carnegie Mellon University
Presentation: video slides

Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Timotej Kapus, Frank Busse and Cristian Cadar
Imperial College London
Presentation: video slides

Testing Debug Info of Optimised Programs
J. Ryan Stinnett and Stephen Kell
King’s College London
Presentation: video slides

Learning to Explore Paths for Symbolic Execution
Jingxuan He, Gishor Sivanrupan, Petar Tsankov and Martin Vechev
ETH Zurich
Presentation: video slides

SymDefFix - Sound Automatic Repair Using Symbolic Execution
Tareq Mohammed Nazir and Martin Pinzger
University of Klagenfurt
Presentation: video slides

Poster: Extending KLEE’s Environment Model for Network Applications
Jeroen Robben and Mathy Vanhoef
KU Leuven
Presentation: video slides

Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson and Kostis Sagonas
Uppsala University
Presentation: video slides

Fuzzing Symbolic Expressions
Emilio Coppa
Sapienza University of Rome
Presentation: video slides

CONFETTI: Amplifying Concolic Guidance for Fuzzers
James Kukucka, Luís Pina, Paul Ammann and Jonathan Bell
George Mason University, University of Illinois Chicago, Northeastern University
Presentation: video slides

Finding Real Bugs in Big Programs with Incorrectness Logic
Quang Loc Le, Azalea Raad, Jules Villard, Josh Berdine, Derek Dreyer and Peter W. O’Hearn
University College London, Imperial College London, Facebook, MPI-SWS
Presentation: video slides

A Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack and Cristian Cadar
Imperial College London, RWTH Aaachen
Presentation: video slides

Poster: Detection of Undefined Behavior Using KLEE
Pavel Iatchenii
Presentation: video slides poster

Analyzing System Software Components Using API Model Guided Symbolic Execution
Tuba Yavuz and Ken Yihang Bai
University of Florida
Presentation: video slides

Poster: Combining Static Analysis Error Traces with Dynamic Symbolic Execution
Frank Busse, Pritam Gharat, Cristian Cadar and Alastair F. Donaldson
Imperial College London
Presentation: video slides poster

Poster: Empirical Study on Applying Program Analysis and Testing Tools to Student Code
Frederico Ramos, Filipe Marques, Nuno Santos, Pedro Adão and José Fragoso Santos
Instituto Superior Técnico, Universidade Lisboa
Presentation: video slides poster

CAS & AoT: Enabling Symbolic Execution on Complex System Code via Automatic Test Harness Generation
Tomasz Kuchta and Bartosz Zator
Samsung R&D Institute Poland
Presentation: video slides