@inproceedings{435ef6eafff5443dbc9ab9a8b72fe85c,
title = "Prioritized constraints with data sampling scores for automatic test data generation",
abstract = "Many automatic test data generation approaches use constraint solvers to find data values, e.g. the method given in [1]. One problem with this method is that it cannot generate test data when the constraints are not solvable, either because there is no solution or the constraints are too complex. We propose a constraint prioritization method using data sampling scores to generate valid test data even when a set of constraints is not solvable. Our case study illustrates the effectiveness of this method.",
keywords = "Constraint solving, Software reliability, Test automation, Test case generation",
author = "Xiao Ma and Li, {J. Jenny} and Weiss, {David M.}",
year = "2007",
doi = "10.1109/SNPD.2007.430",
language = "English",
isbn = "0769529097",
series = "Proceedings - SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing",
pages = "1129--1134",
booktitle = "Proceedings - SNPD 2007",
note = "SNPD 2007: 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing ; Conference date: 30-07-2007 Through 01-08-2007",
}