Programming and Software Engineering

Empirical Software Engineering and Verification

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

Editors: Meyer, Bertrand, Nordio, Martin (Eds.)

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-25231-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-25230-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

Table of contents (5 chapters)

  • Search Based Software Engineering: Techniques, Taxonomy, Tutorial

    Harman, Mark (et al.)

    Pages 1-59

  • Replication of Software Engineering Experiments

    Juristo, Natalia (et al.)

    Pages 60-88

  • A Formal Reference for SCOOP

    Morandi, Benjamin (et al.)

    Pages 89-157

  • On the Integration of Software Testing and Formal Analysis

    Braione, Pietro (et al.)

    Pages 158-193

  • Is Branch Coverage a Good Measure of Testing Effectiveness?

    Wei, Yi (et al.)

    Pages 194-212

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-25231-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-25230-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Empirical Software Engineering and Verification
Book Subtitle
International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Editors
  • Bertrand Meyer
  • Martin Nordio
Series Title
Programming and Software Engineering
Series Volume
7007
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-25231-0
DOI
10.1007/978-3-642-25231-0
Softcover ISBN
978-3-642-25230-3
Edition Number
1
Number of Pages
VII, 213
Topics