Category Archives: DrJava

My work on DrJava, the Java IDE developed at Rice.

DrJava Relapse

Posted on March 12, 2007 by Mathias

Today I figured I should go to the group meetin… Continue reading →

Share
Posted in DrJava | Leave a comment

Print This Post Print This Post  

Slow-Downs in DrJava

Posted on February 26, 2007 by Mathias

On Friday, before and during COMP 312, the prod… Continue reading →

Share
Posted in DrJava | Leave a comment

Print This Post Print This Post  

Fixed Concutest-JUnit Issues

Posted on January 29, 2007 by Mathias

I fixed the concurrency problems with Concutest… Continue reading →

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

Print This Post Print This Post  

Additions to JUnit

Posted on January 17, 2007 by Mathias

During the last few days, I continued to strugg… Continue reading →

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

Print This Post Print This Post  

Haven’t Done Much

Posted on November 13, 2006 by Mathias

Unfortunately I haven’t been able to do much la… Continue reading →

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

Print This Post Print This Post  

@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  

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  

Appearances Can Be Deceiving

Posted on September 21, 2006 by Mathias

The title is true in at least two ways:

My L… Continue reading →

Share
Posted in DrJava, xajavac | Leave a comment

Print This Post Print This Post  

Local Variable Annotations

Posted on September 19, 2006 by Mathias

Ever since I found out that annotations on loca… Continue reading →

Share
Posted in DrJava, xajavac | 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  

DrJava and the Tablets

Posted on September 7, 2006 by Mathias

I implemented an algorithm suggested by Peter C… Continue reading →

Share
Posted in DrJava | Leave a comment

Print This Post Print This Post  

Thread Checking DrJava

Posted on September 3, 2006 by Mathias

After writing a few more auxiliary strategies, … Continue reading →

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

Print This Post Print This Post  

Screw Ups

Posted on August 29, 2006 by Mathias

People screw up, and I definitely do, too. But … Continue reading →

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

Print This Post Print This Post  

Unit Tests for Thread Checker

Posted on August 26, 2006 by Mathias

I’ve started writing unit tests for the thread … Continue reading →

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

Print This Post Print This Post  

Thread Checker Improvements

Posted on August 21, 2006 by Mathias

I made a few small improvements to the dynamic … Continue reading →

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

Print This Post Print This Post  

Dynamic Thread Checker

Posted on August 19, 2006 by Mathias

After spending some more time working on DrJava… Continue reading →

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

Print This Post Print This Post  

New DrJava Beta

Posted on July 31, 2006 by Mathias

Today we released a new beta version of DrJava … Continue reading →

Share
Posted in DrJava | Leave a comment

Print This Post Print This Post  

Summer School Wrap-Up

Posted on July 25, 2006 by Mathias

The 12 days of summer school are over already. … Continue reading →

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

Print This Post Print This Post