−7%

Model-Based Testing of Reactive Systems

English, Alexander Pretschner, Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker, 2005
was CHF58.70
Ratings
BrandMore from Springer
Delivered between Mon, 24.8. and Mon, 7.9.
free shipping

Show all

Product details

Testing of finite state machines. I. Testing of finite state machines. 1. Homing and synchronizing sequences. 2. State identification. 3. State verification. 4. Conformance testing. II. Testing of labeled transition systems. 5. Preorder relations. 6. Test generation algorithms based on preorder relations. 7. I/O-automata based testing. 8. Test derivation from timed automata. 9. Testing theory for probabilistic systems. III. Model-based test case generation. 10. Methodological issues in model-based testing. 11. Evaluating coverage based testing. 12. Technology of test-case generation. 13. Real-time and hybrid systems testing. IV. Tools and case studies. 14. Tools for test case generation. 15. Case studies. V. Standardized test notation and execution architecture. 16. TTCN-3. 17. UML 2.0 testing profile. VI. Beyond testing. 18. Run-time verification. 19. Model checking. VII. Appendices. 20. Model-based testing - A glossary. 21. Finite state machines. 22. Labeled transition systems.

Key specifications

topic
Technology & IT
Language
English
Author
Alexander Pretschner, Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker
Year
2005
Number of pages
664

General information

Item number
25370115
Publisher
Springer
Category
Reference books
Release date
27.4.2023

Book properties

topic
Technology & IT
Language
English
Author
Alexander Pretschner, Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker
Year
2005
Number of pages
664

Voluntary climate contribution

CO₂ emissions
0.35 kg
Climate contribution
CHF 0.11

Product dimensions

Height
235 mm
Width
155 mm
Weight
972 g
Thickness
0.04 m

30-day right of return if unopened
No warranty

Compare products

Show all

Goes with

Reviews & Ratings

Warranty score

How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?

Source: Digitec Galaxus
  • 1.Reclam
    0 %
  • 1.Rheinwerk
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Urban & Fischer
    0 %

Warranty case duration

How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?

Source: Digitec Galaxus
  • Springer
    Not enough data
  • An der Ruhr
    Not enough data
  • Anaconda
    Not enough data
  • Artist Ahead
    Not enough data
  • Avery Publishing Group
    Not enough data

Unfortunately, we don't have enough data for this category yet.

Return rate

How often is a product of this brand in the «Reference books» category returned?

Source: Digitec Galaxus
  • 62.HarperCollins
    1.2 %
  • 62.Orell Füssli
    1.2 %
  • 62.Springer
    1.2 %
  • 62.Various Publishers
    1.2 %
  • 67.Campus
    1.3 %
Source: Digitec Galaxus