Monthly Archives: October 2006

Unsolved Problems

There are still a few unsolved problems, most o… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

@Combine Almost Done

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

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

Print This Print This   Email This Email This

@PredicateLink Implemented

It looks like I just finished implementing the … Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Parsing Compound Predicate Annotations

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Compound Predicate Annotations

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Sleepy Tests

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Predicate Implementation

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Syntax for the Predicates

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Predicates for the Thread Checker

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Comments and Questions about LAPT-javac

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

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

Print This Print This   Email This Email This

Java Generics Unsound?

Just a few days ago, I complained about the fac… Continue reading

Share
Posted in Research | Leave a comment

Print This Print This   Email This Email This

GrobuUtils

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Hacking javac

I just finished hacking javac; I only had to to… Continue reading

Share
Posted in xajavac | Leave a comment

Print This Print This   Email This Email This

Poster: Practical Tools for Testing Concurrent Programs

Practical Tools for Testing Concurrent Programs Continue reading

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

Print This Print This   Email This Email This

Temporary URL Changes

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

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

Print This Print This   Email This Email This

We’re Being Naughty…

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

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

Print This Print This   Email This Email This

Preliminary Versions of Concutest-JUnit

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Corporate Affiliates Meeting 2006 Poster

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

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

Print This Print This   Email This Email This