Badger: complexity analysis with fuzzing and symbolic execution

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 12, 2018
Source ID
10.1145/3213846.3213868

Entities

People

  • Corina S. Păsăreanu
  • Rody Kersten
  • Yannic Noller

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • German Research Foundation
  • Humboldt-Universität zu Berlin
  • Synopsys