Diary Entry: 2007-09-12 00:00:00 - 2007-09-14 00:00:00

Markus and Temesghen attend the 5th IEEE International conference on Software Engineering and Formal Methods (SEFM 07) held in London, UK. Where Temesghen presents the paper "Specification-based Testing for Refinement" (Authors: Temesghen Kahsai, Markus Roggenbach and Bernd-Holger Schlingloff).