|
Enabling Efficient Partial Order Reductions for Model Checking Object-oriented Programs |
- Enabling Efficient Partial Order Reductions for Model Checking Object-oriented Programs Using Static Calculation of Program Dependences, March 2007.
Venkatesh P. Ranganath, John Hatcliff, and Robby.
Technical Report, SAnToS-TR2007-2.
pdf (extended version, last updated: March 29, 2007).
|
