Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Bertrand Meyer, Martin Nordio
Springer Science & Business Media, Jan 9, 2012 - Computers - 213 pages
Software engineering, is widely recognized as one of today's most
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.
What people are saying - Write a review
Techniques Taxonomy Tutorial
Replication of Software Engineering Experiments
A Formal Reference for SCOOP
On the Integration of Software Testing and Formal Analysis
Is Branch Coverage a Good Measure of Testing Effectiveness?