Optimizing a structural constraint solver for efficient software checking

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering
Pages615-619
Number of pages5
DOIs
StatePublished - Dec 1 2009
Event24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009 - Auckland, New Zealand
Duration: Nov 16 2009Nov 20 2009

Publication series

NameASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Other

Other24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009
CountryNew Zealand
CityAuckland
Period11/16/0911/20/09

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint Dive into the research topics of 'Optimizing a structural constraint solver for efficient software checking'. Together they form a unique fingerprint.

  • Cite this

    Siddiqui, J. H., Marinov, D., & Khurshid, S. (2009). Optimizing a structural constraint solver for efficient software checking. In ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering (pp. 615-619). [5431722] (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering). https://doi.org/10.1109/ASE.2009.52