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

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen.

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

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Grabowski, Jens (Editor), Nielsen, Brian (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Programming and Software Engineering ; 3395
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.
Table of Contents:
  • Symbolic Test Generation
  • Test Generation Based on Symbolic Specifications
  • Symbolic Test Case Generation for Primitive Recursive Functions
  • Preserving Contexts for Soft Conformance Relation
  • Testing Non-functional Properties
  • Testing of Symbolic-Probabilistic Systems
  • A Test Generation Framework for quiescent Real-Time Systems
  • Online Testing of Real-time Systems Using Uppaal
  • Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
  • Test Development with Model Checking Techniques
  • Using Model Checking for Reducing the Cost of Test Generation
  • Specifying and Generating Test Cases Using Observer Automata
  • Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
  • An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
  • Test Optimization
  • Test Patterns with TTCN-3
  • High-Level Restructuring of TTCN-3 Test Data
  • Ordering Mutants to Minimise Test Effort in Mutation Testing
  • Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study.

Similar Items