Empirical Software Engineering and Verification

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

  • Editors
  • Bertrand Meyer
  • Martin Nordio

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

Introduction

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. 

Keywords

concurrent programming experimental replicaction formal specification operational semantics software testing

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-25231-0
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-25230-3
  • Online ISBN 978-3-642-25231-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace