Black-Box Conformance Testing for Real-Time Systems
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Testing Conformance of Real-Time Applications by Automatic Generation of ObserversElectronic Notes in Theoretical Computer Science, 2005
- Experimental Evaluation of Verification and Validation Tools on Martian Rover SoftwareFormal Methods in System Design, 2004
- Time-Optimal Real-Time Test Case Generation Using UppaalLecture Notes in Computer Science, 2004
- Test Cases Generation for Nondeterministic Real-Time SystemsLecture Notes in Computer Science, 2004
- STG: A Symbolic Test Generation ToolLecture Notes in Computer Science, 2002
- Testing timed automataTheoretical Computer Science, 2001
- Verification of Test SuitesPublished by Springer Science and Business Media LLC ,2000
- Software unit test coverage and adequacyACM Computing Surveys, 1997
- Principles and methods of testing finite state machines-a surveyProceedings of the IEEE, 1996
- A theory of timed automataTheoretical Computer Science, 1994