NAT2TEST
From MaRDI portal
swMATH16844MaRDI QIDQ28708FDOQ28708
Author name not available (Why is that?)
Official website: http://www.cin.ufpe.br/~ghpc/
Cited In (9)
- Testing using CSP Models: Time, Inputs, and Outputs
- 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
- Modelling timed reactive systems from natural-language requirements
- Jimple
- DarwinSPL
- DeltaEcore
- SCCharts
- SCEst
- Aiding exploratory testing with pruned GUI models
This page was built for software: NAT2TEST
