|
|||||||||
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 |