NAT2TEST

swMATH16844MaRDI QIDQ28708FDOQ28708

Author name not available (Why is that?)

Cited In (4)

• 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
• Aiding exploratory testing with pruned GUI models

This page was built for software: NAT2TEST