Research Demonstrations and Posters. - Bruce Schafer; Mauro Pezzè (ICSE, 2003)