Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012.
|
Σειρά: | Lecture Notes in Computer Science,
7007 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Search Based Software Engineering: 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.