About Concutest
Introduction
ConcJUnit
Thread Checker
Schedule-Based Execution

Using Concutest
Download
How to Run
License

Resources
Documentation
FAQ
Publications

Give Feedback
Features, Bugs, Support
Contact Us

Developers
SourceForge Project
Developer Docs
Javadocs
Developer Blog
Mathias Ricken's Homepage

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 ConcJUnit binaries and source code are available for download here. The downloads that include the Processing Tool (concjunitrt.jar), maked as (withrt) already include the Java Runtime Library Processing Tool, which can be invoked with the java -jar xxx-withrt.jar command. The binary downloads without the processing tool need the separate concjunitrt.jar file.

• Direct access to download directory
   
  
• Binary Downloads with Processing Tool (concjunitrt.jar) included
  • ConcJUnit 2.0 for JUnit 4.7 (withrt) Binaries
  • ConcJUnit 2.0 for JUnit 3.8.2 (withrt) Binaries
   
  
• Binary Downloads without Processing Tool (concjunitrt.jar) included
  • ConcJUnit 2.0 for JUnit 4.7 Binaries
  • ConcJUnit 2.0 for JUnit 3.8.2 Binaries
   
  
• Binary Downloads with Processing Tool (concjunitrt.jar) included, but without dependencies (plt.jar)
  • ConcJUnit 2.0 for JUnit 4.7 (withrt-nodep) Binaries
  • ConcJUnit 2.0 for JUnit 3.8.2 (withrt-nodep) Binaries
   
  
• ConcJUnit 2.0 Java Runtime Library Processing Tool (concjunitrt.jar) Binaries
   
  
• Source Downloads
  • ConcJUnit 2.0 for JUnit 4.7 Source
  • ConcJUnit 2.0 for JUnit 3.8.2 Source

• DrJava
  ConcJUnit has been integrated into the DrJava IDE.
  • Latest DrJava release

Supplemental material

• A Framework for Testing Concurrent Programs (PhD Thesis, view embedded):
  Mathias Ricken's PhD thesis, April 19, 2011.
• A Framework for Testing Concurrent Programs (PhD Thesis Defense Presentation, PowerPoint, PDF, view embedded):
  Mathias Ricken's presentation from his PhD thesis defense, January 10, 2011.
• A Framework for Testing Concurrent Programs (PhD Thesis Proposal Presentation, PowerPoint, PDF, view embedded):
  Mathias Ricken's presentation from his PhD thesis proposal, December 2, 2010.
• Testing Concurrent Programs, A 7-Minute Jargon-Free Introduction (Presentation, PowerPoint, view embedded):
  Mathias Ricken's presentation to the Thesis Writing Seminar of the School of Engineering at Rice University, February 25, 2010.
• Test-First Java Concurrency for the Classroom (Presentation, PowerPoint, view embedded):
  Mathias Ricken's presentation at SIGCSE 2010, March 12, 2010.).
• Test-First Java Concurrency for the Classroom (Paper, PDF, view embedded, assignment):
  Paper to be published in the proceedings of the 41st Technical Symposium on Computer Science Education (SIGCSE 2010).
• ConcJUnit: Unit Testing for Concurrent Programs (Presentation, PowerPoint, view embedded):
  Mathias Ricken's presentation at the 7th International Conference on the Principles and Practice of Programming in Java (PPPJ 2009), August 24, 2009.
• ConcJUnit: Unit Testing for Concurrent Programs (Presentation, PowerPoint, view embedded):
  Mathias Ricken's presentation for the COMP 600 seminar, August 24, 2009.
• ConcJUnit: Unit Testing for Concurrent Programs (Paper, PDF, view embedded):
  Paper published in the proceedings of the 7th International Conference on the Principles and Practice of Programming in Java (PPPJ 2009).
• Practical Tools for Testing Concurrent Programs (Poster, PDF, view embedded):
  created for 2006 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts.
• Unit Testing for Concurrent Programs (Poster, PDF, view embedded):
  created for 2005 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts.
• Unit Testing for Concurrent Programs (Poster, PDF, view embedded): older version created for 2004 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts.
• Unit Testing for Concurrent Programs (Poster Abstract, PDF, view embedded):
  abstract for 2004 Corporate Affiliates Meeting at the Computer Science Department of Rice University to summarise our efforts.
• A Framework for Testing Concurrent Programs (MS Defense Presentation, PowerPoint, view embedded):
  Mathias Ricken's presentation from his Master of Science defense, June 14, 2007.
• A Framework for Testing Concurrent Programs (MS Thesis, PDF, view embedded):
  Mathias Ricken's Master of Science thesis
• A Framework for Testing Concurrent Programs (Presentation, PowerPoint, view embedded):
  Mathias Ricken's presentation for the COMP 600 seminar, August 27, 2007.
• Testing Concurrent Programs (Presentation, PowerPoint, view embedded):
  Mathias Ricken's presentation for the Rice Computer Science Club, October 4, 2007.
  • Programming Examples from the presentation.
• Java Annotations for Invariant Specification (Presentation, PowerPoint):
  Mathias Ricken's presentation for the COMP 617 seminar, September 22, 2008.
• Invariant Specification and Multi-Staging using Java Annotations (Poster, PDF, view embedded):
  created for 2008 Corporate Affiliates Meeting at the Computer Science Department of Rice University.
• Direct access to the download directory

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