Analytical quality assurance - Metzger A; Benbernou S; Carro M; Driss M; Kecskemeti G; Kazhamiakin R; Krytikos K; Mocci A; Di Nitto E; Wetzstein B; Silvestri F (Lecture Notes In Computer Science, 2010)