PASTE'04
PASTE'02
FSE-12
FSE-11
FSE-10
ISSTA'04