£59.00

LAP Lambert Academic Publishing Automated Model-based Test Generation for Timed Systems: An overview about models, specification languages and test generation approaches considering time constraintes

Price data last checked 96 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£59 today · previous high £59 · all-time low £55

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 635 days • 635 data points (No recent data available)

Historical
Generating forecast...
£59.00 £54.44 £55.43 £56.43 £57.42 £58.42 £59.42 10 June 2024 15 November 2024 23 April 2025 28 September 2025 06 March 2026

Price Distribution

Price distribution over 635 days • 2 price levels

Days at Price
Current Price
332 days 303 days · current 0 83 166 249 332 £55 £59 Days at Price

Price Analysis

Most common price: £55 (332 days, 52.3%)

Price range: £55 - £59

Price levels: 2 different prices over 635 days

Description

Model-based test generation is an approach to generate test cases based on a formal model. Although test generation methods have long existed, its timed counterpart is still a new field. In addition, most of the proposed solutions suffer from combinatory explosion which continues to limit their applicability in practice. Accordingly, it explains why there are so few automatic formal methods for testing generation, for both time and untimed systems. This book presents an overview about models, specification languages and test generation approches adressed to timed systems. In addition, it proposes a test generation approach using test-purposes and considering timed constraints. In order to evaluate the applicability and efficiency of the proposed method, two real industrial applications are used as case studies: a Railroad Crossing and a Vocal Service furnished by France Telecom.

Product Specifications

Format
Paperback
Domain
Amazon UK
Release Date
03 May 2010
Listed Since
05 May 2010

Barcode

No barcode data available

Similar Products You Might Like

Quality of the design of test cases for automotive software: Design platform and testing process
96% match

Quality of the design of test cases for automotive software: Design platform and testing process

LAP Lambert Academic Publishing

£67.00 05 Mar 2026
Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level
96% match

Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level

Wiley

£64.50 09 Mar 2026
Software Test Cases Generation: Automatic software test cases generation from UML specification diagrams and formal software test cases using HLPN
96% match

Software Test Cases Generation: Automatic software test cases generation from UML specification diagrams and formal software test cases using HLPN

LAP Lambert Academic Publishing

£57.00 03 Mar 2026
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)
96% match

Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)

Springer

£146.12 06 Feb 2026
Agile Modeling with UML: Code Generation, Testing, Refactoring
95% match

Agile Modeling with UML: Code Generation, Testing, Refactoring

Springer

£57.91 26 Feb 2026
Model-Based Testing for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)
95% match

Model-Based Testing for Embedded Systems (Computational Analysis, Synthesis, and Design of Dynamic Systems)

CRC Press

£192.76 10 Mar 2026
Model-Driven Testing: Using the UML Testing Profile
95% match

Model-Driven Testing: Using the UML Testing Profile

Springer

£44.69 04 Mar 2026
Colored Model Based Testing for Software Product Lines: CMBT-SWPL
95% match

Colored Model Based Testing for Software Product Lines: CMBT-SWPL

Südwestdeutscher Verlag für Hochschulschriften

£75.00 20 Apr 2026
A Practitioner’s Guide to Software Test Design (Artech House Computing Library)
95% match

A Practitioner’s Guide to Software Test Design (Artech House Computing Library)

Artech House

£49.85 01 Feb 2026
Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project
95% match

Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project

Springer

£65.40 20 Feb 2026
Fundamentals of Software Testing: 590 (Iste)
95% match

Fundamentals of Software Testing: 590 (Iste)

Wiley

£116.00 09 Mar 2026
Fundamentals of Software Testing: An Overview: Software Engineering
95% match

Fundamentals of Software Testing: An Overview: Software Engineering

LAP Lambert Academic Publishing

£51.00 07 Mar 2026
Fundamentals of Software Testing
95% match

Fundamentals of Software Testing

Wiley

£100.00 03 Mar 2026
Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques
95% match

Reverse Engineering and Testing of Black-Box Software Components: by Grammatical Inference techniques

LAP Lambert Academic Publishing

£64.00 01 Mar 2026
Testmanagement und Softwaretest: Theoretische Grundlagen und praktische Umsetzung
95% match

Testmanagement und Softwaretest: Theoretische Grundlagen und praktische Umsetzung

Springer

£54.98 06 Mar 2026
Software Testing: A Craftsman’s Approach, Fifth Edition
95% match

Software Testing: A Craftsman’s Approach, Fifth Edition

CRC Press

£76.52 15 Feb 2026
Complete Guide to Test Automation: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects
95% match

Complete Guide to Test Automation: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects

Apress

£37.40 07 Jan 2026
Testing and Quality Assurance for Component-Based Software (Computing Library)
95% match

Testing and Quality Assurance for Component-Based Software (Computing Library)

Artech House

£72.76 08 Jan 2026
Optimization of Automated Software Testing Using Meta-Heuristic Techniques (EAI/Springer Innovations in Communication and Computing)
95% match

Optimization of Automated Software Testing Using Meta-Heuristic Techniques (EAI/Springer Innovations in Communication and Computing)

£77.65 06 Jan 2026
Software Testing with Generative AI
95% match

Software Testing with Generative AI

£34.77 12 Dec 2025
Advanced Automated Software Testing: Frameworks for Refined Practice
95% match

Advanced Automated Software Testing: Frameworks for Refined Practice

Information Science Reference

£164.04 06 Feb 2026
Practical Software Testing: A Process-Oriented Approach (Springer Professional Computing)
95% match

Practical Software Testing: A Process-Oriented Approach (Springer Professional Computing)

Springer

£53.83 18 Mar 2026
Test and Evaluation of Complex Systems: 12 (Handbook of Measurement Science)
95% match

Test and Evaluation of Complex Systems: 12 (Handbook of Measurement Science)

Wiley

£144.93 26 Jan 2026
Testing IT, Second Edition: An Off-the-Shelf Software Testing Process
95% match

Testing IT, Second Edition: An Off-the-Shelf Software Testing Process

Cambridge University Press

£71.00 13 Jan 2026