First Page | Document Content | |
---|---|---|
![]() Date: 2009-02-05 16:14:24Automated theorem proving Concolic testing Test Data Generation Theoretical computer science Symbolic execution Pointer Algorithm Function Linear programming Mathematics Computing Software engineering | Add to Reading List |