TorX
From MaRDI portal
Cited in
(31)- JTorX
- IMP++
- SecureUML
- ASTRAL
- AGATHA
- UniTESK
- SCR
- STG
- From generating process views over inter-organizational business processes to achieving their temporal consistency
- NModel
- SpecExplorer
- TestNG
- UMLsec
- ADABU
- Generation of complete test suites from Mealy input/output transition systems
- Test generation from recursive tiles systems
- PLASMA
- Play to Test
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- On Conformance Testing for Timed Systems
- A conformance testing relation for symbolic timed automata
- Composition of Model Programs
- TGV
- On theorem prover-based testing
- Improving active Mealy machine learning for protocol conformance testing
- Model-Based Testing for Functional and Security Test Generation
- Formal Approaches to Software Testing
- Formal Approaches to Software Testing
- JUMBL
- Information gain of black-box testing
- Model-based testing of probabilistic systems
This page was built for software: TorX
