Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Forma...
Cote: | Libro Electrónico |
---|---|
Collectivité auteur: | |
Autres auteurs: | , , , |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2006.
|
Édition: | 1st ed. 2006. |
Collection: | Programming and Software Engineering,
4262 |
Sujets: | |
Accès en ligne: | Texto Completo |