Empirical software engineering and verification : international summer schools, LASER 2008-2010, Elba Island, Italy. Revised tutorial lectures (2012)