Accepted Presentations

Killing Stubborn Mutants with Symbolic Execution
Thierry Titcheu Chekam, Mike Papadakis, Maxime Cordy, Yves Le Traon
University of Luxembourg, Luxembourg
Presentation: video, slides

TracerX: Dynamic Symbolic Execution with Interpolation
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
National University of Singapore, Singapore
Presentation: video, slides

Efficient Relational Symbolic Execution for Constant-Time at Binary-Level with Binsec/Rel
Lesly-Ann Daniel¹, Sebastien Bardin¹, Tamara Rezk²
Université Paris-Saclay¹, France
INRIA Sophia-Antipolis², France
Presentation: video, slides

Effective Testing of Safety-Critical Software’s with KLEE
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
University of Milano-Bicocca, Italy
Presentation: video, slides

Running Symbolic Execution Forever
Frank Busse, Martin Nowack, Cristian Cadar
Imperial College London, United Kingdom
Presentation: video, slides

Experimentations with KLEE on FuzzBench
Laurent Simon
Google, USA
Presentation: video, slides

Fine-grain Memory Object Representation in Symbolic Execution
Martin Nowack
Imperial College London, United Kingdom
Presentation: video, slides

Extracting a Micro State Transition Table Using KLEE
Norihiro Yoshida, Takahiro Shimizu, Ryota Yamamoto, Hiroaki Takada
Nagoya University, Japan
Presentation: video, slides

Get Rid of Inline Assembly Through Verification-Oriented Lifting
Frédéric Recoules¹, Sébastien Bardin², Richard Bonichon², Laurent Mounier¹, Marie-Laure Potet¹
Université Grenoble Alpes¹, France
Université Paris-Saclay², France
Presentation: video, slides

Relocatable Addressing Model for Symbolic Execution
David Trabish, Noam Rinetzky
Tel Aviv University, Israel
Presentation: video, slides

The Long Road towards Testing Multi-Threaded Programs with KLEE
Daniel Schemmel, Julian Büning, David Laprell, Klaus Wehrle
RWTH Aachen University, Germany
Presentation: video, slides

Open-Source C++ Support for KLEE
Felix Rath, Klaus Wehrle
RWTH Aachen University, Germany
Presentation: video, slides

Extending KLEE to Support Automated Behavioral Regression Testing
Richard Rutledge, Xinyu Lui, Alessandro Orso
Georgia Institute of Technology, USA
Presentation: video, slides

Automating Function Selection for Patch Testing via Chopped Symbolic Execution
Jordy Ruiz, Martin Nowack, Ahmed Zaki, Cristian Cadar
Imperial College London, United Kingdom
Presentation: video, slides

Characterizing and Improving Bug-Finders with Automated Bug Injection
Yu Hu, Zekun Shen, Brendan Dolan-Gavitt
New York University, USA
Presentation: video, slides

Timely Feedback on Assembly Assignments Using KLEE
Zikai Liu¹, Tingkai Liu¹, Qi Li¹, Wenqing Luo¹, Steven Lumetta²
ZJU-UIUC Institute¹, China
University of Illinois at Urbana-Champaign², USA
Presentation: video, slides

Caching Results From KLEE’s Independent Solver
Zikai Liu¹, Steven Lumetta²
ZJU-UIUC Institute¹, China
University of Illinois at Urbana-Champaign², USA
Presentation: video, slides

The KLEEMA Prototype
Sangharatna Godboley¹, Monika Rani Golla¹, Arpita Dutta²
National Institute of Technology Warangal¹, India
Indian Institute of Technology Kharagpur², India
Presentation: video, slides

Detecting MPI Usage Anomalies via Partial Program Symbolic Execution
Fangke Ye, Jisheng Zhao, Vivek Sarkar
Georgia Institute of Technology
Presentation: video, slides

FLASX: A Fault Localization Assistant System Using KLEE Symbolic Execution for Embedded Software
Phan Thi Thanh Huyen, Yasufumi Suzuki, Naoto Sato, Masumi Kawakami
Hitachi, Japan

Using KLEE with Large Rust Programs
Alastair Reid, Shaked Flur
Google Research, United Kingdom
Presentation: video, slides

KLEE-Assisted Code Robustness Evaluation against Fault Injections
Mounier Laurent, Cristian Ene, Marie-Laure Potet, Etienne Boespflug
VERIMAG / Université Grenoble Alpes, France
Presentation: video, slides

Grey-Box Learning of Register Automata in C
Bharat Garhewal, Frits Vaandrager
Radboud University, Netherlands

An Application of KLEE to Aerospace Industrial Software
Juan Francisco García, Daniel Jurjo, Fernando Macías, José F. Morales, Alessandra Gorla
IMDEA Software Institute, Spain
Presentation: video, slides