@inproceedings{de1361d542d8402c9f560487eac1b7d1,
title = "A constraint solver for code-based test data generation",
abstract = "In automatic test generation, after selecting code sequences for testing, they need to be automatically converted into actual executable test cases. One way of test data generation lo cover certain paths is to use a constraint solver. Most existing solvers handle only numerical constraints derived from source code. This paper presents a constraint solver for lest data generation that derives constraints from bytecodes and solves complex constraints involving strings and dynamic objects, We implemented this solver in an automatic test generation tool suite. It handles most of the constraints we have encountered so far, including situations with arrays, Booleans, string types, and objects as parameters of function calls and class attributes.",
keywords = "Code coverage, Constraint solver, Test generation",
author = "{Jenny Li}, J. and {Eric Wong}, W. and Xiao Ma and David Weiss",
year = "2005",
language = "English",
isbn = "9781627486590",
series = "17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005",
pages = "300--305",
booktitle = "17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005",
note = "17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005 ; Conference date: 14-07-2005 Through 16-07-2005",
}