Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 2012

Empirical Software Engineering and Verification

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

Editors:

  1. Bertrand Meyer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Nordio
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): LASER: LASER Summer School on Software Engineering

Conference proceedings info: LASER 2008. LASER 2009. LASER 2010.

Sections

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (5 chapters)

  1. Front Matter

    PDF

  2. Search Based Software Engineering: Techniques, Taxonomy, Tutorial

    • Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo
    Pages 1-59

  3. Replication of Software Engineering Experiments

    • Natalia Juristo, Omar S. Gómez
    Pages 60-88

  4. A Formal Reference for SCOOP

    • Benjamin Morandi, Sebastian Nanz, Bertrand Meyer
    Pages 89-157

  5. On the Integration of Software Testing and Formal Analysis

    • Pietro Braione, Giovanni Denaro, Mauro Pezzè
    Pages 158-193

  6. Is Branch Coverage a Good Measure of Testing Effectiveness?

    • Yi Wei, Bertrand Meyer, Manuel Oriol
    Pages 194-212

  7. Back Matter

    PDF
Back to top

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.

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation