- Java version 5.
- IBM ConTest tool.
- Java PathFinder version 285.
BUT - Faculty of Information Technology |
There is simple example of using ReplayTracer. This example shows interleaving threads.
Download contains source-code of example, instrumentation binaries of
example, recorded error trace (one running of program), properties
files, which contains required settings of aptr and selected settings of
JPF, run script and readme file.
Tar file:Bank.tar.gz
Copyright © 2009-2010, Brno University of Technology All rights reserved.
Ing.Vendula Hrubá, ihruba at fit.vutbr.cz