Candea, GeorgeChipounov, Vitaly2014-07-082014-07-08201410.5075/epfl-thesis-6251https://infoscience.epfl.ch/handle/20.500.14299/104934urn:nbn:ch:bel-epfl-thesis6251-5enSelective symbolic executionConsistency modelsMulti-path analysisVirtualizationDevice driversReverse engineeringTestingVerificationPerformance profilingDynamic analysisStatic AnalysisS²E: A Platform for In-Vivo Multi-Path Analysis of Software Systemsthesis::doctoral thesis