A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools.

Mickal Delahaye, Nikolai Kosmatov

Browse the full RV paper archive.