Bertrand Meyer, Martin Nordio (Eds.):
Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures.
Lecture Notes in Computer Science 7007 Springer 2012, ISBN 978-3-642-25230-3 
- Mark Harman, Phil McMinn, Jerffeson Teixeira de Souza, Shin Yoo:
Search Based Software Engineering: Techniques, Taxonomy, Tutorial.
1-59
- Natalia Juristo Juzgado, Omar S. Gómez:
Replication of Software Engineering Experiments.
60-88
- Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
A Formal Reference for SCOOP.
89-157
- Pietro Braione, Giovanni Denaro, Mauro Pezzè:
On the Integration of Software Testing and Formal Analysis.
158-193
- Yi Wei, Bertrand Meyer, Manuel Oriol:
Is Branch Coverage a Good Measure of Testing Effectiveness?
194-212
Last update Fri May 25 08:25:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
