Oasis: Concolic Execution Driven by Test Suites and Code Modifications
2009
Files
Details
Title
Oasis: Concolic Execution Driven by Test Suites and Code Modifications
Author(s)
Crameri, Olivier ; Bachwani, Rekha ; Brecht, Tim ; Bianchini, Ricardo ; Kostic, Dejan ; Zwaenepoel, Willy
Date
2009
Keywords
Laboratories
LABOS
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LABOS - Operating Systems Laboratory
Work produced at EPFL
Technical Reports
Published
Work produced at EPFL
Technical Reports
Published
Record creation date
2009-05-19