AGEDIS
From MaRDI portal
Cited in
(13)- Combining test case generation and runtime verification
- scientific article; zbMATH DE number 1951185 (Why is no real title available?)
- UniTESK
- STG
- JPAX
- AsmL
- NModel
- SpecExplorer
- TGV
- Play to Test
- Testing interruptions in reactive systems
- Integration of verification methods for program systems
- Towards property oriented testing
This page was built for software: AGEDIS
