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