Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very impor...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Grabowski, Jens (Editor), Nielsen, Brian (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Programming and Software Engineering, 3395
Subjects:
Software engineering.
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items