Category Archives: Concurrent Unit Testing

My work on unit testing for concurrent programs.

@Combine Almost Done

Posted on October 23, 2006 by Mathias

It has taken me longer than expected, but I jus… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava | Leave a comment

Print This Post Print This Post  

@PredicateLink Implemented

Posted on October 17, 2006 by Mathias

It looks like I just finished implementing the … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Parsing Compound Predicate Annotations

Posted on October 16, 2006 by Mathias

I’ve enhanced the parser of the Thread Checker … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Compound Predicate Annotations

Posted on October 14, 2006 by Mathias

I think I have found an acceptable, relatively … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Sleepy Tests

Posted on October 13, 2006 by Mathias

Last night, just before I passed out into comat… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Predicate Implementation

Posted on October 12, 2006 by Mathias

During the night and this morning, I worked on … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Syntax for the Predicates

Posted on October 12, 2006 by Mathias

Here is a description of the syntax for the Thr… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Predicates for the Thread Checker

Posted on October 12, 2006 by Mathias

Corky has made the thread checker a core part o… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Comments and Questions about LAPT-javac

Posted on October 11, 2006 by Mathias

When I posted my hacked version of javac, LAPT-… Continue reading →

Share
Posted in Concurrent Unit Testing, xajavac | Leave a comment

Print This Post Print This Post  

GrobuUtils

Posted on October 9, 2006 by Mathias

Corky scared me this morning. He found an artic… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Poster: Practical Tools for Testing Concurrent Programs

Posted on October 6, 2006 by Mathias

Practical Tools for Testing Concurrent Programs Continue reading →

Share
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Post Print This Post  

Temporary URL Changes

Posted on October 5, 2006 by Mathias

I’ve temporarily redirected www.concutest.org t… Continue reading →

Share
Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Post Print This Post  

We’re Being Naughty…

Posted on October 5, 2006 by Mathias

I just ran the DrJava unit tests with Concutest… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava | Leave a comment

Print This Post Print This Post  

Preliminary Versions of Concutest-JUnit

Posted on October 5, 2006 by Mathias

I have made preliminary versions of Concutest-J… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Corporate Affiliates Meeting 2006 Poster

Posted on October 2, 2006 by Mathias

I just finished creating a new poster for the 2… Continue reading →

Share
Posted in Concurrent Unit Testing, Research | Leave a comment

Print This Post Print This Post  

Trying to Categorize

Posted on September 28, 2006 by Mathias

I’m way behind on my schedule, originally I was… Continue reading →

Share
Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Post Print This Post  

Problems

Posted on September 18, 2006 by Mathias

Lately 1&1, the hosting service that my blog ru… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava, Uncategorized | Leave a comment

Print This Post Print This Post  

To Do for DrJava and the Thread Checker

Posted on September 11, 2006 by Mathias

Even though I’ve implemented the lock file sche… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava | Leave a comment

Print This Post Print This Post  

Thread Checker Log for DrJava

Posted on September 11, 2006 by Mathias

I’ve run the thread checker with the annotation… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava | Leave a comment

Print This Post Print This Post  

Realize Realized :)

Posted on September 10, 2006 by Mathias

I had to make a few changes, but at least for s… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post