Automated Whitebox Fuzz Testing
Symbolic execution and program testing