• 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