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