Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

By: Andreas Ulrich (Editor)

Write A Review

Paperback | 28 January 2004

At a Glance

Paperback
280 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Computer Architecture & Logic Design

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.

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Design Patterns

Elements of Reusable Object-Oriented Software

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Clean Architecture

A Craftsman's Guide to Software Structure and Design

User Story Mapping

Discover the Whote Story, Build the Right Product

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Developing Graphics Frameworks with Java and OpenGL

The Engineering Leader

Strategies for Scaling Teams and Yourself

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Lean Enterprise

How High Performance Organizations Innovate at Scale

Learning Modern C++ for Finance

Foundations for Quantitative Programming

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

This product is categorised by