This repository provides a curated bibliography of academic papers focused on symbolic execution, a technique used for automated software testing and analysis. It serves researchers, engineers, and students in software engineering and formal methods, offering a historical and contemporary overview of the field.

How It Works

The project maintains a list of papers, categorized by venue and year, with author information. This structured compilation allows users to easily track the evolution of symbolic execution research, identify key contributions, and discover relevant literature for their work.

Quick Start & Requirements

• No installation or execution required; it's a static list.
• Access is via the GitHub repository.

Highlighted Details

• Comprehensive coverage from 1976 to 2015, with a stated intention to update.
• Includes seminal works and a broad range of venues (ICSE, FSE, PLDI, CAV, etc.).
• Papers cover various aspects: concolic testing, constraint solving, scalability, and specific application domains.
• The list was previously hosted at a Google Sites URL.

Maintenance & Community

The project is maintained by Saswat Anand, with an invitation for pull requests or emails to contribute updates. The last update mentioned was in 2015, indicating potential staleness.

Licensing & Compatibility

The repository content is not explicitly licensed. It is a collection of bibliographic data.

Limitations & Caveats

The bibliography is noted as being out of date since 2013, with only a few entries from 2014-2015. While the intent to update is stated, the current state suggests limited recent activity.