Monthly Archives: October 2006

Unsolved Problems

Posted on October 25, 2006 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post   Email This Email This

@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   Email This Email This

@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   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This

Java Generics Unsound?

Posted on October 10, 2006 by Mathias

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

Share
Posted in Research | Leave a comment

Print This Post Print This Post   Email This Email This

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   Email This Email This

Hacking javac

Posted on October 8, 2006 by Mathias

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

Share
Posted in xajavac | Leave a comment

Print This Post Print This Post   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This

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   Email This Email This