Reusing Constraint Proofs for Scalable Program Analysis (bibtex)
by Chen Meixian
Reference:
Reusing Constraint Proofs for Scalable Program Analysis Chen MeixianIn Proceedings of the 2014 International Symposium on Software Testing and Analysis, ACM, 2014
Bibtex Entry:
@string{star="STAR"}
@string{acm="ACM"}
@inproceedings{Chen:reusing:ISSTA:2014,
  groups = STAR,
  Author = {Meixian, Chen},
  Booktitle = {Proceedings of the 2014 International Symposium on
                  Software Testing and Analysis},
  Pages = {449--452},
  Publisher = {ACM},
  Title = {Reusing Constraint Proofs for Scalable Program
                  Analysis},
  Year = 2014,
  Pdf = {papers/2014-issta-chen-ds.pdf}
}
Powered by bibtexbrowser