Category Archives: MS Thesis

Submitted!

Posted on October 31, 2007 by Mathias

I submitted my thesis today. I had verified and… Continue reading →

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

Thesis: A Framework for Testing Concurrent Programs

Posted on October 30, 2007 by Mathias

A Framework for Testing Concurrent Programs Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis, Publications | Leave a comment

Print This Post Print This Post  

Final Stages

Posted on October 29, 2007 by Mathias

I’m about to start with the final submission pr… Continue reading →

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

What Has Happened?

Posted on October 12, 2007 by Mathias

I haven’t written in 1.5 months. Hard to believ… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava, Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

First Day of the Semester

Posted on August 27, 2007 by Mathias

Today is the first day of the semester again, a… Continue reading →

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

Lists and Implication Done

Posted on July 30, 2007 by Mathias

I’m back in Los Angeles now. I didn’t have time… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Implication for @Combine

Posted on July 26, 2007 by Mathias

As during the last few days, I’m in the process… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Thesis, Quantitatively

Posted on July 19, 2007 by Mathias

Google added a few figures to their "Word Count… Continue reading →

Share
Posted in MS Thesis, Ramblings, Research | Leave a comment

Print This Post Print This Post  

Exceptions in Predicates

Posted on July 14, 2007 by Mathias

Today, I finished going through the simple mist… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Timing an Interpreter in Java

Posted on July 13, 2007 by Mathias

The last two days I’ve helped Walid with one of… Continue reading →

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

Print This Post Print This Post  

Independence Day

Posted on July 4, 2007 by Mathias

Happy July 4th, everyone, whatever that means. … Continue reading →

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

Print This Post Print This Post  

Fork/Join

Posted on July 1, 2007 by Mathias

After I started implementing the schedule gener… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Shrinkage

Posted on June 28, 2007 by Mathias

It’s likely no one noticed, but my thesis actua… Continue reading →

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

Print This Post Print This Post  

I defended!

Posted on June 14, 2007 by Mathias

I haven’t written in a few days. There was a bi… Continue reading →

Share
Posted in Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

Defense: A Framework for Testing Concurrent Programs

Posted on June 14, 2007 by Mathias

A Framework for Testing Concurrent Programs Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis, Publications | Leave a comment

Print This Post Print This Post  

A Deadline

Posted on June 1, 2007 by Mathias

First off the big news: I’ve found a day and ti… Continue reading →

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis, Uncategorized | Leave a comment

Print This Post Print This Post  

Land of Confusion

Posted on May 30, 2007 by Mathias

During the last 20 days, I haven’t written in t… Continue reading →

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis, Uncategorized | Leave a comment

Print This Post Print This Post  

Can’t Write Anymore

Posted on May 5, 2007 by Mathias

I really can’t add anymore to my thesis. I’m cu… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Thesis Progress

Posted on May 3, 2007 by Mathias

Currently 108 pages, 86 pages of content (exclu… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Writing, Reading, Just Not Here

Posted on May 3, 2007 by Mathias

So it has obviously been a while since I have w… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post