Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software : Fates 2003 : Montreal, Quebec, Canada, October 6th, 2003 : Revised Papers

by Petrenko, Alexandre; Petrenko, Alexandre; Ulrich, Andreas; IEEE International Automated Software Engineering Conference

• ISBN13: 9783540208945
• ISBN10: 3540208941
• Format: Paperback
• Copyright: 2004-03-19
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held in Montreal, Quebec, Canada, on October 6th, 2003. The 18 revised full papers presented were carefully selected from 43 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program testing and analysis, test theory and test derivation algorithms, and test methods and test tools.

Table of Contents

Black-box testing of grey-box behavior	p. 1
On checking whether a predicate definitely holds	p. 15
Using a software testing technique to improve theorem proving	p. 30
Auto-generating test sequences using model checkers : a case study	p. 42
Mutually enhancing test generation and specification inference	p. 60
JMLAutoTest : a novel automated testing framework based on JML and JUnit	p. 70
Compositional testing with IOCO	p. 86
Defining observation objectives for reactive and distributed systems	p. 101
Time-optimal real-time test case generation using UPPAAL	p. 114
Test cases generation for nondeterministic real-time systems	p. 131
Property oriented test case generation	p. 147
Computing unique input/output sequences using genetic algorithms	p. 164
Automatic generation of test purposes for testing distributed systems	p. 178
Interaction testing in an embedded system using hardware fault injection and program mutation	p. 192
Automatic conformance testing of internet applications	p. 205
A use case driven testing process : towards a formal approach based on UML collaboration diagrams	p. 223
VISWAS and on diagnosability with IEEE Std P1522 and UML2.0 testing profile	p. 236
Towards a tool environment for model-based testing with AsmL	p. 252
Author index	p. 267
Table of Contents provided by Blackwell. All Rights Reserved.