A technique for testing symbolic execution engines.

Overview

Artifact

Please go to this page for the artifact.

Research Support

This research project is generously sponsored by the UK EPSRC through an Early-Career Fellowship.