ATGen
From MaRDI portal
Software:19320
No author found.
Related Items (5)
Formal Approaches to Software Testing ⋮ Connectors as designs: modeling, refinement and test case generation ⋮ Towards a Framework for Constraint-Based Test Case Generation ⋮ Test case generation for object-oriented imperative languages in CLP ⋮ Test Data Generation of Bytecode by CLP Partial Evaluation
This page was built for software: ATGen
