Oasis: Concolic Execution Driven by Test Suites and Code Modifications
2009
Files
Détails
Titre
Oasis: Concolic Execution Driven by Test Suites and Code Modifications
Auteur(s)
Crameri, Olivier ; Bachwani, Rekha ; Brecht, Tim ; Bianchini, Ricardo ; Kostic, Dejan ; Zwaenepoel, Willy
Date
2009
Mots-clés (libres)
Laboratoires
LABOS
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IINFCOM > LABOS - Laboratoire de systèmes d'exploitation
Travail produit à l'EPFL
Rapports techniques
Publié
Travail produit à l'EPFL
Rapports techniques
Publié
Date de création de la notice
2009-05-19