Optimizing a Structural Constraint Solver for Efficient Software Checking. Haroon Siddiqui, J., Marinov, D., & Khurshid, S. In Proceedings of Automated Software Engineering (ASE), pages 615-619, 2009.
Optimizing a Structural Constraint Solver for Efficient Software Checking [link]Paper  bibtex   
@inproceedings{ dblp2483647,
  title = {Optimizing a Structural Constraint Solver for Efficient Software Checking},
  author = {Junaid Haroon Siddiqui and Darko Marinov and Sarfraz Khurshid},
  author_short = {Haroon Siddiqui, J. and Marinov, D. and Khurshid, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2483647},
  id = {dblp2483647},
  biburl = {http://www.dblp.org/rec/bibtex/conf/kbse/SiddiquiMK09},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.52},
  conference = {ASE},
  pages = {615-619},
  text = {ASE 2009:615-619},
  booktitle = {Proceedings of Automated Software Engineering (ASE)}
}

Downloads: 0