search menu icon-carat-right cmu-wordmark

Property Directed Test Case Generation

November 2016 Presentation
Edward J. Schwartz

This work automatically generated executables to trigger desired behaviors for testing


Software Engineering Institute



The tool developed in this work takes a declarative description of a behavior (e.g., an execution with a buffer overflow, an execution reaching a dangerous function call, or leaking sensitive information through a low-security interface) and automatically generates an executable test harness that executes it.