Theoretical Computer Science
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Theoretical Computer Science
Verifying ET-LOTOS programmes with KRONOS
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Automatic Verification of Timed Circuits
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Timed Test Cases Generation Based on State Characterization Technique
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Testing, Optimizaton, and Games
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
Proceedings of the 5th ACM international conference on Embedded software
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A game-theoretic approach to real-time system testing
Proceedings of the conference on Design, automation and test in Europe
On Conformance Testing for Timed Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Cooperative Testing of Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformance testing for real-time systems
Formal Methods in System Design
Timed Testing under Partial Observability
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Timed control with observation based and stuttering invariant strategies
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Testing real-time systems using UPPAAL
Formal methods and testing
Off-line test selection with test purposes for non-deterministic timed automata
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
A test generation framework for quiescent real-time systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
| Hi-index | 0.00 |
Model-based testing is a promising technique for improving the quality of testing by automatically generating an efficient set of provably valid test cases from a system model. Testing embedded real-time systems is challenging because it must deal with timing, concurrency, processing and computation of complex mixed discrete and continuous signals, and limited observation and control. Whilst several techniques and tools have been proposed, few deals systematically with models capturing the indeterminacy resulting from concurrency, timing and limited observability and controllability. This paper proposes a number of model-based test generation principles and techniques that aim at efficient testing of timed systems under uncertainty.