Selected conference papers.
Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy: revised tutorial lectures. ISBN 9783642252303. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.