Infoscience

Similar records
Report

Oasis: Concolic Execution Driven by Test Suites and Code Modifications

Crameri, Olivier; Bachwani, Rekha; Brecht, Tim; Bianchini, Ricardo; Kostic, Dejan; Zwaenepoel, Willy
  • Publication date: 2009

Keywords: Testing ; Debugging ; Symbolic Execution

Reference

  • LABOS-REPORT-2009-002

Record created on 2009-05-19, modified on 2012-03-21

Fulltext

Contacts

EPFL authors