First Page | Document Content | |
---|---|---|
![]() Date: 2012-11-23 07:14:40Software bugs Software testing Automated theorem proving Concolic testing Buffer overflow Symbolic execution Arithmetic overflow String C Software engineering Computing Computer programming | Add to Reading List |