Targeted test input generation using symbolic-concrete backward execution

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 15, 2014
Source ID
10.1145/2642937.2642951

Entities

People

  • Gul Agha
  • Peter Dinges

Organizations

  • Air Force Research Laboratory
  • Army Research Office
  • University of Illinois Urbana–Champaign