Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Presentation

Property Directed Test Case Generation

  • November 2016
  • By Edward J. Schwartz
  • This work automatically generated executables to trigger desired behaviors for testing
  • Publisher: Software Engineering Institute
  • Abstract

    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.

  • Download

Part of a Collection

SEI 2016 Research Review