A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools (RV 2013)

A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools (RV 2013)

0a3585eee458f88629b261a95f3f70a5?s=128

Mickaël Delahaye

September 27, 2013
Tweet