CAS & AoT: Enabling Symbolic Execution on Complex System Code via Automatic Test Harness Generation

Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models

Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification

Toward Automatic Test Synthesis for Performance Portable Programs

Analyzing System Software Components Using API Model Guided Symbolic Execution

Poster: Address-Aware Query Caching for Symbolic Execution

Workshop Introduction

Finding Real Bugs in Big Programs with Incorrectness Logic

Academic keynote: Five Shades of Symbolic Execution for Vulnerability Hunting

CONFETTI: Amplifying Concolic Guidance for Fuzzers

Poster: UTBot Simplifies Auto Test Generation

Industry keynote: The S2E Platform: A Journey from a Research Prototype to a Commercial Product

Toward Optimal MC/DC Test Case Generation

Poster: Extending KLEE’s Environment Model for Network Applications

SymDefFix - Sound Automatic Repair Using Symbolic Execution

Poster: SIFT: A Multithreading Extension to KLEE

Symbolic Execution the Swiss-Knife of the Reverse Engineer Toolbox

Industry keynote: Can Symbolic Execution Be a Productivity Multiplier for Human Bug-Finders?

Academic keynote: How to Win SV-COMP with Symbolic Execution

Poster: Symbolic Execution Projects from the Software Reliability Group

A Bounded Symbolic-Size Model for Symbolic Execution

Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations

Learning to Explore Paths for Symbolic Execution

Poster: Detection of Undefined Behavior Using KLEE

Poster: Enabling Continuous Large Scale Software Engineering Experimentation in the Cloud