ATGen

MaRDI QIDQ19320swMATHFDO

Official website http://onlinelibrary.wiley.com/doi/10.1002/stvr.225/abstract

Cited in

(9)

• Test Data Generation of Bytecode by CLP Partial Evaluation
• Connectors as designs: modeling, refinement and test case generation
• Test case generation for object-oriented imperative languages in CLP
• Lutess
• AGATHA
• GATeL
• jPET
• Towards a framework for constraint-based test case generation
• Formal Approaches to Software Testing

This page was built for software: ATGen