|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| AtomicityChecker | Runs a program and checks whether its methods satisfy the property of atomicity. |
| DejaVu | DejaVu is a regression test selection tool for Java, implemented as part of the Sofya toolset. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||