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 / edited by Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff.

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Havelund, Klaus (Editor), Núnez, Manuel (Editor), Rosu, Grigore (Editor), Wolff, Burkhart (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:	1st ed. 2006.
Series:	Programming and Software Engineering ; 4262 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Computer logic. Management information systems. Computer science. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.