Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid. Optimizing a Structural Constraint Solver for Efficient Software Checking. In ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009. pages 615-619, IEEE Computer Society, 2009. [doi]
Abstract is missing.