TorX
From MaRDI portal
Software:19208
swMATH7155MaRDI QIDQ19208FDOQ19208
Author name not available (Why is that?)
Cited In (15)
- Model-based testing of probabilistic systems
- Generation of complete test suites from Mealy input/output transition systems
- Formal Approaches to Software Testing
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Test Generation from Recursive Tiles Systems
- Play to Test
- On theorem prover-based testing
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- Improving active Mealy machine learning for protocol conformance testing
- Formal Approaches to Software Testing
- Information gain of black-box testing
- On Conformance Testing for Timed Systems
- Model-Based Testing for Functional and Security Test Generation
- Composition of Model Programs
- A Conformance Testing Relation for Symbolic Timed Automata
This page was built for software: TorX
