|
Exploiting Object Escape and Locking Information in Partial Order Reduction for Concurrent Object-Or |
- Exploiting
Object Escape and Locking Information in Partial Order Reduction for
Concurrent Object-Oriented Programs, February 2003.
Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh R. Prasad.
In Formal Methods in System Design Journal (FMSD), Volume 25, Issue 2-3, Sep-Nov 2004, p.199-240.
Technical Report, SAnToS-TR2003-1.
pdf (Last updated: March 23, 2004).
Kluwer Online (most recent)
|
