2009 IEEE/ACM International Conference on Automated Software Engineering (2009)
Auckland, New Zealand
Nov. 16, 2009 to Nov. 20, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2009.52
Several static analysis techniques, e.g., symbolic execution or scope-bounded checking, as well as dynamic analysis techniques, e.g., specification-based testing, use constraint solvers as an enabling technology. To analyze code that manipulates structurally complex data, the underlying solver must support structural constraints. Solving such constraints can be expensive due to the large number of aliasing possibilities that the solver must consider. This paper presents a novel technique to selectively reduce the number of test cases to be generated. Our technique applies across a class of structural constraint solvers. Experimental results show that the technique enables an order of magnitude reduction in the number of test cases to be considered.
Software Testing, Bounded Exhaustive Testing
J. H. Siddiqui, D. Marinov and S. Khurshid, "Optimizing a Structural Constraint Solver for Efficient Software Checking," 2009 IEEE/ACM International Conference on Automated Software Engineering(ASE), Auckland, New Zealand, 2009, pp. 615-619.