ATGen

swMATH7275MaRDI QIDQ19320FDOQ19320

Author name not available (Why is that?)

Cited In (5)

• Connectors as designs: modeling, refinement and test case generation
• Test Data Generation of Bytecode by CLP Partial Evaluation
• Test case generation for object-oriented imperative languages in CLP
• Formal Approaches to Software Testing
• Towards a Framework for Constraint-Based Test Case Generation

This page was built for software: ATGen