Most recent publications
Students under supervision
Available Master's topics
In D-Mint Project Meeting. Tallin, Estonia, 2009.
Information and Software Technology 49 (2007): 1087-1106.
Software Testing, Verification and Reliability 18 (2007): 99-121.
Deptartment of Computer Science, The University of Sheffield, 2007.