Statically-directed dynamic automated test generation

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 17, 2011
Source ID
10.1145/2001420.2001423

Entities

People

  • Dawn Song
  • Domagoj Babić
  • Lorenzo Martignoni
  • Stephen Mccamant

Organizations

  • Air Force Office of Scientific Research
  • Air Force Research Laboratory
  • National Science Foundation
  • Office of Naval Research
  • University of California, Berkeley