Category Archives: Concurrent Unit Testing

My work on unit testing for concurrent programs.

More Documentation

I spent virtually this entire weekend horizonta… Continue reading

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

Print This Post Print This Post  

Reflection Works, Documentation Still Missing

This week, I’ve successfully tackled the proble… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Wrapping Up Continues

During the last couple of days I added what tho… Continue reading

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Does Contravariant Propagation and Combining Using or Make Sense?

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

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?

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

@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

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

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

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

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

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

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

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

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

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

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

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  

Solved Problems :-)

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  

Unsolved Problems

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