About Concutest
Introduction
Concutest-JUnit
Thread Checker
Schedule-Based Execution
Using Concutest
Download
How to Run
License
Resources
Documentation
FAQ
Publications
Concutest Community Project
Give Feedback
Features, Bugs, Support
Contact Us
Developers
SourceForge Project
Developer Docs
Javadocs
Developer Blog
Concutest is a collection of tools designed to make the development and testing of concurrent Java programs easier and more reliable. Concutest is freely available under the BSD License, and it is under active development by the JavaPLT group at Rice University.
News and Updates
New Beta Package for Thread Checker Posted 2007-07-24 18:22 - Concutest
A new beta package for the Thread Checker has been posted. In this new version, exceptions in a predicate log as erroneous predicate and do not leave the predicate anymore.
Read More »
Beta Packages for ConcJUnit and Thread Checker Posted 2007-06-19 21:13 - Concutest
I just posted the first beta releases of our Concutest products: Different versions of ConcJUnit, an improved JUnit framework, and libraries required for the Thread Checker.
Read More »
|
Concutest is partially funded by the
National Science Foundation
and the Texas Advanced Technology Program. Copyright © 2004-2008 by Mathias Ricken. All rights reserved. |
|