Speaker Deck

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

by Mickaël Delahaye

Published September 27, 2013 in Research