Page has been move to http://ls6-www.cs.uni-dortmund.de/issi/projects/DFG_Verletzungsentdeckung/