Monthly Archives: November 2006

Does Contravariant Propagation and Combining Using or Make Sense?

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

@OnlyRunBy Subtyping

I just looked at the subtyping warnings generat… Continue reading

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

What’s Left to Do?

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

@Combine-Style Using Reflection Too

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

@PredicateLink-Style Using Reflection

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

On Closer Inspection, Reflection More Complicated

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Caching Issues

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Thread Checker Release

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Not So Bad

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Not Happy

After some experimentation, I have realized tha… Continue reading

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

A Custom-Class Loader for the Thread Checker

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Haven’t Done Much

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

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

Print This Print This   Email This Email This

The Many Faces of DrScheme

I just received an email from Matthias Felleise… Continue reading

Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Print This   Email This Email This

Official Concutest Website

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

Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Print This   Email This Email This

A Logo for Concutest

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This

Kooprey Code Rot

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

Posted in Research | Leave a comment

Print This Print This   Email This Email This

Solved Problems :-)

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

Posted in Concurrent Unit Testing | Leave a comment

Print This Print This   Email This Email This