Constraint Solving in Test-Data Generation

Authors:
Yuan Zhan
Affiliations:
-
Venue:
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Year:
2002

Citing 3
Cited 0

Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
Constraint-Based Automatic Test Data Generation

IEEE Transactions on Software Engineering
Symbolic execution and program testing

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

Test data generation is the most labor-intensive work for software testing. As a result, automatic test case generation is a way forward. It is typical to denote the conditions of searching the test input that can cause a particular action to occur into constraint problems. Consequently, practical method for solving the constraints is desired.