Reusing Constraint Proofs in Program Analysis (bibtex)
by Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè
Reference:
Reusing Constraint Proofs in Program Analysis Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro PezzèIn ISSTA '15: Proceedings of the International Symposium on Software Testing and Analysis, ACM, 2015
Bibtex Entry:
@string{star="STAR"}
@string{acm="ACM"}
@inproceedings{Aquino:Recal:ISSTA:2015,
  groups = STAR,
  author = {Aquino, Andrea and Bianchi, Francesco A. and
                  Chen, Meixian and Denaro, Giovanni and Pezz{\`e},
                  Mauro},
  title = {Reusing Constraint Proofs in Program Analysis},
  booktitle = {Proceedings of the International Symposium on
                  Software Testing and Analysis},
  year = 2015,
  series = {ISSTA '15},
  pages = {305--315},
  publisher = {ACM},
  keywords = {caching, symbolic execution, reusing formulas,
                  linear integer arithmetic}
}
Powered by bibtexbrowser