Conference
Function Substitution: Towards Constraint Solving in Software Testing
Abstract
Constraint solving is a fundamental tenet of most test case generation strategies. However, conventional constraint solving methods were not designed in consideration of that aspect of test case generation. It has led to a situation where test case generation techniques can miss test cases when constraints contain function invocations. This is due to the fact that, when solving constraints to generate test cases, function invocations are not …
Authors
Feng X; Marr S; Q'Callaghan T; Zhou ZQ; Carette J
Pagination
pp. 31-40
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
August 1, 2012
DOI
10.1109/qsic.2012.32
Name of conference
2012 12th International Conference on Quality Software