Dear all, I'm happy to announce that I submitted my master thesis on Friday, September 28. The topic is "Unit-Testing towards a Specification: A Systematic Approach" and can be downloaded from: (more...)