ATGen

swMATH7275MaRDI QIDQ19320FDOQ19320

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: ATGen