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

The most recent versions of the Concutest downloads are available at the Concutest project SourceForge. Here, we provide mirrored file access to the most important builds.

Thread Checker Library Downloads

• Thread Checker Annotation Library (tclib.jar)
• Thread Checker Runtime Binaries (tcrt.jar)
• Thread Checker Annotation Javadoc (tclib.javadoc.jar) (web)
• Thread Checker Runtime Javadoc (tcrt.javadoc.jar) (web)
• Direct access to the download directory

Document Downloads

Here is a preliminary version of the subtyping relation the Thread Checker uses, based on Featherweight Java:

• Thread Checker Subtyping Relation (PDF) (view embedded)

ConcJUnit Downloads

Preliminary versions of the Concutest-JUnit binaries and source code are available for download here:

• Concutest-JUnit 4.2 Binaries
• Concutest-JUnit 4.2 Source
• Concutest-JUnit 4.2 Binaries (Difference to Standard JUnit 4.2)
• Concutest-JUnit 4.2 Source (Difference to Standard JUnit 4.2 Source)
• Concutest-JUnit 4.1 Binaries
• Concutest-JUnit 4.1 Source
• Concutest-JUnit 3.8.2 Binaries
• Concutest-JUnit 3.8.2 Source

A stand-alone plugin that can be used in addition to the standard JUnit 4.2 library is also available. Contrary to the libraries available above, this plugin does not by default enable automatic handling of exceptions in other threads and forced joins of auxiliary threads. The plugin is set up to be invoked using JUnit 4.2's @RunWith attribute:

• Concutest-JUnit 4.2a Binaries (Standard JUnit 4.2 with Plugin Included)
• Concutest-JUnit 4.2a Plugin Source (Standard JUnit 4.2 Source with Plugin Source Included)
• Concutest-JUnit 4.2a Plugin Binaries (Plugin Only)
• Concutest-JUnit 4.2a Plugin Source (Plugin Source Only)

Supplemental material

• Poster (PDF): created for 2006 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts (view embedded).
• Poster (PDF): created for 2005 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts (view embedded).
• Poster (PDF): older version created for 2004 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts (view embedded).
• Poster Abstract (PDF): abstract for 2004 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts (view embedded).
• MS Defense Presentation (PowerPoint): Mathias Ricken's presentation from his Master of Science defense, June 14, 2007.
• MS Thesis (PDF): Mathias Ricken's Master of Science thesis (view embedded)
• Presentation (PowerPoint): Mathias Ricken's presentation for the COMP 600 seminar, August 27, 2007.
• Presentation (PowerPoint): Mathias Ricken's presentation for the Rice Computer Science Club, October 4, 2007.
  • Programming Examples from the presentation.
• Presentation: Java Annotations for Invariant Specification (PowerPoint): Mathias Ricken's presentation for the COMP 617 seminar, September 22, 2008.
• Presentation: Java Annotations for Types, Expressions and Multi-Stage Programming (PowerPoint): Mathias Ricken's presentation for the COMP 617 seminar, October 24, 2008.
• Poster: Invariant Specification and Multi-Staging using Java Annotations (PDF): created for 2008 Corporate Affiliates Meeting at the Computer Science Department of Rice University (view embedded).
• Direct access to the download directory

Concutest is partially funded by the National Science Foundation and the Texas Advanced Technology Program. Copyright © 2004-2008 by Mathias Ricken. All rights reserved.