Mickaël Delahaye, Nikolai Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution.
CSTVA 2013 - 5th International Workshop on Constraints in Software Testing, Verification, and Analysis, Aug 2013, Luxembourg, Luxembourg. pp.230-231,
⟨10.1109/ICSTW.2013.34⟩.
⟨hal-00853725⟩