Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

By: Wolfgang Grieskamp (Editor), Carsten Weise (Editor)

Write A Review

Paperback | 30 May 2006

At a Glance

Paperback
236 Pages

Dimensions(cm)
23.39 x 15.6 x 1.27

Paperback

$101.07

or 4 interest-free payments of $25.27 with

or

Aims to ship in 7 to 10 business days

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

Shipping

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

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.

More in Computer Architecture & Logic Design

Secure Health : A Guide to Cybersecurity for Healthcare Managers - Mohamed Hammad

$21.90

Nginx Cookbook

3rd Edition - Advanced Recipes for High-Performance Load Balancing

Paperback

RRP $114.00

$50.40

56%
OFF

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $152.00

$66.25

56%
OFF

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Hardcover

RRP $347.00

$266.25

23%
OFF

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

Paperback

RRP $95.00

$43.25

54%
OFF

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Paperback

RRP $91.25

$41.75

54%
OFF

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Paperback

RRP $87.35

$40.25

54%
OFF

Scaling Python with Dask

From Data Science to Machine Learning

Paperback

RRP $152.00

$66.25

56%
OFF

Communication Patterns

A Guide for Developers and Architects

Paperback

RRP $125.50

$55.25

56%
OFF

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Paperback

RRP $125.50

$55.25

56%
OFF

Distributed Systems with Node.js

Building Enterprise-Ready Backend Services

Paperback

RRP $106.50

$47.75

55%
OFF

Building Evolutionary Architectures

Automated Software Governance

Paperback

RRP $152.00

$66.25

56%
OFF

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Paperback

RRP $125.50

$55.25

56%
OFF

Logic and Computer Design Fundamentals, Global Edition

5th edition

Paperback

RRP $134.95

$107.50

20%
OFF

Streaming Systems

The What, Where, When, and How of Large-Scale Data Processing

Paperback

RRP $152.00

$66.25

56%
OFF

Microservice Architecture

Aligning Principles, Practices, and Culture

Paperback

RRP $76.00

$35.75

53%
OFF

Programming Quantum Computers

Essential Algorithms and Code Samples

Paperback

RRP $152.00

$66.25

56%
OFF

Using Docker

Paperback

RRP $114.00

$50.40

56%
OFF

Essentials of Computer Organization and Architecture

Paperback

RRP $303.90

$196.95

35%
OFF

Software Design X-Rays

Fix Technical Debt with Behavioral Code Analysis

Paperback

RRP $87.35

$40.25

54%
OFF

Parallel and Concurrent Programming in Haskell

Paperback

RRP $85.50

$39.75

54%
OFF

Practical Monitoring

Effective Strategies for the Real World

Paperback

RRP $57.00

$28.25

50%
OFF

Simulated time for testing railway interlockings with TTCN-3	p. 1
Model-based testing through a GUI	p. 16
Play to test	p. 32
A note on an anomaly in black-box testing	p. 47
A novel test coverage metric for concurrently-accessed software components	p. 62
Adaptive random testing by bisection and localization	p. 72
Interactive testing with HOL-TestGen	p. 87
Conformance testing relations for timed systems	p. 103
Conformance tests as checking experiments for partial nondeterministic FSM	p. 118
Calculating probabilities of real-time test cases	p. 134
Time unbalanced partial order	p. 152
Testing systems of concurrent black-boxes - an automata-theoretic and decompositional approach	p. 170
Automated generation of positive and negative tests for parsers	p. 187
Testing from algebraic specifications : test data set selection by unfolding axioms	p. 203
Table of Contents provided by Blackwell. All Rights Reserved.

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Secure Health

A Guide to Cybersecurity for Healthcare Managers

The Art of Cyber Defense

From Risk Assessment to Threat Intelligence

Simply AI

Facts Made Fast

Nginx Cookbook

3rd Edition - Advanced Recipes for High-Performance Load Balancing

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Scaling Python with Dask

From Data Science to Machine Learning

Communication Patterns

A Guide for Developers and Architects

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Distributed Systems with Node.js

Building Enterprise-Ready Backend Services

Building Evolutionary Architectures

Automated Software Governance

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Logic and Computer Design Fundamentals, Global Edition

5th edition

Streaming Systems

The What, Where, When, and How of Large-Scale Data Processing

Microservice Architecture

Aligning Principles, Practices, and Culture

Programming Quantum Computers

Essential Algorithms and Code Samples

Using Docker

Essentials of Computer Organization and Architecture

Software Design X-Rays

Fix Technical Debt with Behavioral Code Analysis

Parallel and Concurrent Programming in Haskell

Practical Monitoring

Effective Strategies for the Real World

This product is categorised by

Popular Searches