Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures - Meyer, Bertrand; Nordio, Martin (Springer Berlin Heidelberg : Imprint: Springer, 2012)