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