NAT2TEST
From MaRDI portal
Cited in
(10)- APTS
- Aiding exploratory testing with pruned GUI models
- Jimple
- Modelling timed reactive systems from natural-language requirements
- SCCharts
- SCEst
- DarwinSPL
- DeltaEcore
- Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
- Testing using CSP Models: Time, Inputs, and Outputs
This page was built for software: NAT2TEST
