KLEE

Extending KLEE to Support Automated Behavioral Regression Testing

Workshop Introduction

Poster: UTBot Simplifies Auto Test Generation

The Long Road towards Testing Multi-Threaded Programs with KLEE

Symbolic Execution the Swiss-Knife of the Reverse Engineer Toolbox

Poster: SIFT: A Multithreading Extension to KLEE

Fuzzing Symbolic Expressions

Extracting a Micro State Transition Table Using KLEE

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

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

Analyzing System Software Components Using API Model Guided Symbolic Execution

Poster: Combining Static Analysis Error Traces with Dynamic Symbolic Execution

Poster: Empirical Study on Applying Program Analysis and Testing Tools to Student Code

Killing Stubborn Mutants with Symbolic Execution

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

TracerX: Dynamic Symbolic Execution with Interpolation

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

SymDefFix - Sound Automatic Repair Using Symbolic Execution

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

Toward Optimal MC/DC Test Case Generation

Poster: A Tight Integration of Symbolic Execution and Fuzzing

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

Finding Real Bugs in Big Programs with Incorrectness Logic