Delahayeand Kosmatov. A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-40787-1_20.