NAT2TEST
From MaRDI portal
Software:28708
No author found.
Related Items (4)
Testing using CSP Models: Time, Inputs, and Outputs ⋮ Modelling timed reactive systems from natural-language requirements ⋮ Principled Software Development ⋮ Aiding exploratory testing with pruned GUI models
This page was built for software: NAT2TEST
