IEEE ISSSTA in Prag, September 2002