• 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

  • 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