Concutest Community Project

This website is part of the Concutest Thread Checker. It is an attempt to create a community project to identify the concurrency invariants of the Java API and other open-source projects.

The concurrency invariants are organized both by its kind (“Only Event Thread”, “Not Event Thread”, …) and the package the class is located in.

The research staff of the Concutest project will periodically evaluate the posts on this blog and add new invariants to our publicly available database. This database can then be used to find some problems in your code at the time you compile, and many more violations of concurrency invariants at the time your program runs.

Currently, we are focusing on the Java SE API (primarily AWT and Swing) and the open-source DrJava project, since DrJava is developed by the same group of people who work on Concutest.

If you would like to add an open-source project to effort and list its concurrency invariants, please let us know. Depending on the size of the project, we will either create the categories ourselves or elevate your user role so you can do that yourself. We reserve the right to not include projects.