Monthly Archives: November 2006

Does Contravariant Propagation and Combining Using or Make Sense?

Posted on November 29, 2006 by Mathias

I’m still trying to figure out if some invarian… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

@OnlyRunBy Subtyping

Posted on November 27, 2006 by Mathias

I just looked at the subtyping warnings generat… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

What’s Left to Do?

Posted on November 27, 2006 by Mathias

So, what’s left to do? Lots, of course. Mainly,… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

@Combine-Style Using Reflection Too

Posted on November 27, 2006 by Mathias

@Combine-style annotations now also work using … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

@PredicateLink-Style Using Reflection

Posted on November 25, 2006 by Mathias

I corrected a bug in the source code and uncorr… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

On Closer Inspection, Reflection More Complicated

Posted on November 24, 2006 by Mathias

I’ve been wanting to write a reflection-based T… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Caching Issues

Posted on November 22, 2006 by Mathias

I rewrote a few parts of the Thread Checker, ma… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Thread Checker Release

Posted on November 20, 2006 by Mathias

Yesterday, I made the first version of the Thre… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Not So Bad

Posted on November 17, 2006 by Mathias

I’ve thought about my problem from the last pos… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Not Happy

Posted on November 15, 2006 by Mathias

After some experimentation, I have realized tha… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

A Custom-Class Loader for the Thread Checker

Posted on November 14, 2006 by Mathias

I’ve been working on a custom class loader that… Continue reading →

Share
Posted in Concurrent Unit Testing | 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  

The Many Faces of DrScheme

Posted on November 5, 2006 by Mathias

I just received an email from Matthias Felleise… Continue reading →

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

Print This Post Print This Post  

Official Concutest Website

Posted on November 5, 2006 by Mathias

As we all know, a logo or title screen is the m… Continue reading →

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

Print This Post Print This Post  

A Logo for Concutest

Posted on November 4, 2006 by Mathias

I’m getting to the point where my tools are sta… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Kooprey Code Rot

Posted on November 3, 2006 by Mathias

Dr. Wong asked me where he could get the most r… Continue reading →

Share
Posted in Research | Leave a comment

Print This Post Print This Post  

Solved Problems :-)

Posted on November 3, 2006 by Mathias

Again, I wasn’t feeling too well, was kept busy… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post