12 search results - page 3 / 3 » A comparison of three verification techniques: directed test... |
DSN
2004
IEEE
13 years 9 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
TSE
2008
13 years 5 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...