Model Based Testing with Labelled Transition Systems
- 1 January 2008
- book chapter
- other
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- TGV: theory, principles and algorithmsInternational Journal on Software Tools for Technology Transfer, 2004
- The AGEDIS tools for model based testingPublished by Association for Computing Machinery (ACM) ,2004
- Testing Transition Systems with Input and Output TestersLecture Notes in Computer Science, 2003
- Gast: Generic Automated Software TestingLecture Notes in Computer Science, 2003
- Fault Model-Driven Test Derivation from Finite State Models: Annotated BibliographyLecture Notes in Computer Science, 2001
- Protocol-Inspired Hardware TestingPublished by Springer Science and Business Media LLC ,1999
- Testing Concurrent Systems: A Formal ApproachLecture Notes in Computer Science, 1999
- Testing can be formal, tooLecture Notes in Computer Science, 1995
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- Introduction to the ISO specification language LOTOSComputer Networks and ISDN Systems, 1987