rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783540208945

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 ; ; ;
  • ISBN13:

    9783540208945

  • ISBN10:

    3540208941

  • Format: Paperback
  • Copyright: 2004-03-19
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $99.00 Save up to $79.20
  • Digital
    $42.90
    Add to Cart

    DURATION
    PRICE

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 behaviorp. 1
On checking whether a predicate definitely holdsp. 15
Using a software testing technique to improve theorem provingp. 30
Auto-generating test sequences using model checkers : a case studyp. 42
Mutually enhancing test generation and specification inferencep. 60
JMLAutoTest : a novel automated testing framework based on JML and JUnitp. 70
Compositional testing with IOCOp. 86
Defining observation objectives for reactive and distributed systemsp. 101
Time-optimal real-time test case generation using UPPAALp. 114
Test cases generation for nondeterministic real-time systemsp. 131
Property oriented test case generationp. 147
Computing unique input/output sequences using genetic algorithmsp. 164
Automatic generation of test purposes for testing distributed systemsp. 178
Interaction testing in an embedded system using hardware fault injection and program mutationp. 192
Automatic conformance testing of internet applicationsp. 205
A use case driven testing process : towards a formal approach based on UML collaboration diagramsp. 223
VISWAS and on diagnosability with IEEE Std P1522 and UML2.0 testing profilep. 236
Towards a tool environment for model-based testing with AsmLp. 252
Author indexp. 267
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program