• Poster: SIFT: A Multithreading Extension to KLEE
    Tuba Yavuz

  • 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

  • A Bounded Symbolic-Size Model for Symbolic Execution
    David Trabish, Noam Rinetzky and Shachar Itzhaky

  • Concolic Program Repair
    Ridwan Shariffdeen, Yannic Noller, Lars Grunske and Abhik Roychoudhury

  • Complex Test Input Generation in KLEE
    Alexey Babushkin, Aleksandr Misonizhnik and Dmitry Mordvinov

  • Toward Optimal MC/DC Test Case Generation
    Sangharatna Godboley, Joxan Jaffer, Rasool Maghareh and Arpita Dutta

  • Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models
    Sören Tempel, Vladimir Herdt and Rolf Drechsler

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

  • Poster: Automated Patch Transplantation
    Ridwan Shariffdeen, Shin Hwei Tan, Mingyuan Gao and Abhik Roychoudhury

  • Poster: Address-Aware Query Caching for Symbolic Execution
    David Trabish, Noam Rinetzky and Shachar Itzhaky

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

  • 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

  • Pruning the Recursive States in KLEE
    Aleksandr Misonizhnik, Alexey Babushkin and Dmitry Mordvinov

  • Controlling Side Effects in Program Repair using Symbolic Execution
    Nikhil Parasaram, Earl Barr and Sergey Mechtaev

  • Poster: A Tight Integration of Symbolic Execution and Fuzzing
    Sebastien Bardin, Michaël Marcozzi and Yaelle Vincont

  • Poster: Symbolic Execution Projects from the Software Reliability Group
    Cristian Cadar, Frank Busse, Martin Nowack, Jordy Ruiz, Daniel Schemmel and Ahmed Zaki

  • Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations
    Richard Rutledge, Alessandro Orso and Keita Teranishi

  • Symbolic Execution the Swiss-Knife of the Reverse Engineer Toolbox
    Robin David, Christian Heitman and Richard Abou Chaaya

  • Poster: Enabling Continuous Large Scale Software Engineering Experimentation in the Cloud
    Jonathan Bell, Christopher Timperley, Michael Hilton and Lauren Herckis

  • Pending Constraints in Symbolic Execution for Better Exploration and Seeding
    Timotej Kapus, Frank Busse and Cristian Cadar

  • Testing Debug Info of Optimised Programs
    J. Ryan Stinnett and Stephen Kell

  • Quantum Accelerated Symbolic Execution
    Christoph Kirsch and Stefanie Muroya Lei

  • Learning to Explore Paths for Symbolic Execution
    Jingxuan He, Gishor Sivanrupan, Petar Tsankov and Martin Vechev

  • SymDefFix - Sound Automatic Repair Using Symbolic Execution
    Tareq Mohammed Nazir and Martin Pinzger

  • Poster: Extending KLEE’s Environment Model for Network Applications
    Jeroen Robben and Mathy Vanhoef

  • Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
    Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson and Kostis Sagonas

  • Fuzzing Symbolic Expressions
    Emilio Coppa

  • CONFETTI: Amplifying Concolic Guidance for Fuzzers
    James Kucuka, Luís Pina, Paul Ammann and Jonathan Bell

  • 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

  • A Deterministic Memory Allocator for Dynamic Symbolic Execution
    Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack and Cristian Cadar

  • Poster: Inline Assembly Support
    Mikhail Petrochenkov and Dmitry Ivanov

  • Poster: Detection of Undefined Behavior Using KLEE
    Pavel Iatchenii

  • Analyzing System Software Components Using API Model Guided Symbolic Execution
    Tuba Yavuz and Ken Yihang Bai

  • Poster: Combining Static Analysis Error Traces with Dynamic Symbolic Execution
    Frank Busse, Pritam Gharat, Cristian Cadar and Alastair F. Donaldson