Empirical Software Engineering and Verification

International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

  • Editors
  • Bertrand Meyer
  • Martin Nordio
Textbook LASER 2010, LASER 2009, LASER 2008

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7007)

Table of contents

  1. Front Matter
  2. Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo
    Pages 1-59
  3. Natalia Juristo, Omar S. Gómez
    Pages 60-88
  4. Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
    Pages 89-157
  5. Pietro Braione, Giovanni Denaro, Mauro Pezzè
    Pages 158-193
  6. Yi Wei, Bertrand Meyer, Manuel Oriol
    Pages 194-212
  7. Back Matter

About this book


Software engineering, is widely recognized as one of today's most
exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students.

This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010. 


concurrent programming experimental replicaction formal specification operational semantics software testing

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-25230-3
  • Online ISBN 978-3-642-25231-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment