Improving Error Discovery Using Guided Model Checking
State exploration in directed software model checking is guided using a heuristic function to move states near errors to the front of the search queue. Distance heuristic functions rank states based on the number of transitions needed to move the current program state into an error location. Lack of...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2006
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/782 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1781&context=etd |