Lutz Prechelt's public data