Optimizing a Structural Constraint Solver for Efficient Software Checking

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid
2009 2009 IEEE/ACM International Conference on Automated Software Engineering  
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
more » ... ctively 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.
doi:10.1109/ase.2009.52 dblp:conf/kbse/SiddiquiMK09 fatcat:ddelfk7oizbfxiyn4amexmosiu