• Concolic Fault Abstraction

Treffer: Concolic Fault Abstraction

Title:
Concolic Fault Abstraction
Authors:
Oh, Chanseok, Schaf, Martin, Schwartz-Narbonne, Daniel, Wies, Thomas
Source:
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation (SCAM), 2014 IEEE 14th International Working Conference on. :135-144 Sep, 2014
Relation:
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation (SCAM)
Database:
IEEE Xplore Digital Library