Package sofya.apps

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.