Login / Signup

Combining Invariant Violation with Execution Path Classification for Detecting Multiple Types of Logical Errors and Race Conditions.

George StergiopoulosPanagiotis KatsarosDimitris GritzalisTheodore K. Apostolopoulos
Published in: SECRYPT (2016)
Keyphrases