Slice—n—Dice Algorithm Implementation in JPF
This work deals with evaluating the effectiveness of a new verification algorithm called slice--n--dice. In order to evaluate the effectiveness of slice--n--dice, a vector clock POR was implemented to compare it against. The first paper contained in this work was published in ACM SIGSOFT Software En...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
BYU ScholarsArchive
2014
|
| Subjects: | |
| Online Access: | https://scholarsarchive.byu.edu/etd/4147 https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=5146&context=etd |