Monthly Archives: August 2006

Screw Ups

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

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

Print This Print This   Email This Email This

External XML Annotations

There are several cases when you either cannot … Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Unit Tests for Thread Checker

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

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

Print This Print This   Email This Email This

New Annotatation Format

I must admit I haven’t been able to do as much … Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

What I Don’t (and Probably Won’t) Do

I mentioned earlier that the checker currently … Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Talk about Thread Checker

Good, I didn’t oversleep again. I just talked t… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

More Thread Checker

Today was pretty much a repeat from yesterday: … Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Thread Checker Improvements

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

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

Print This Print This   Email This Email This

Dynamic Thread Checker

After spending some more time working on DrJava… Continue reading

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

Print This Print This   Email This Email This

Ideas and Another Bug to Catch

I found another kind of concurrency problem tha… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

First Cut of the “Doomed wait” Solution

I made a small change to my random delay code t… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Delay Balance

I’ve just finished the last instrumentor to del… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Another Concurrency Bug I Might Detect

The first problem that execution with random de… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

No Static Random in SyncPointBuffer

Last night I was doing some refactoring to chan… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Simple Test for Delay Testing

Even though I haven’t implemented inserting the… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Constants Not Configurable

I’ve tried to implement what I described below:… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Making Constants Configurable

There are several constants that a user is like… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Writing about the Summer School

Here are a few links to other people’s blogs ab… Continue reading

Share
Posted in Research | Leave a comment

Print This Print This   Email This Email This

Thread.run, not Thread.start

I am reusing code written for the other instrum… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Only Change Counter at Thread Start and Exit?

Right now, I’m actually not so sure that I real… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This