Automating Differential Testing with Overapproximate Symbolic Execution

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 01, 2022
Source ID
10.1109/icst53961.2022.00035

Entities

People

  • Alessandro Orso
  • Richard Rutledge

Organizations

  • Defense Advanced Research Projects Agency
  • Georgia Tech
  • National Science Foundation
  • Office of Naval Research
  • United States Department of Energy