Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization (bibtex)
by Pietro Braione, Giovanni Denaro, Mauro Pezzè
Reference:
Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization Pietro Braione, Giovanni Denaro, Mauro PezzèIn ESEC/FSE '13: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2013
Bibtex Entry:
@string{star="STAR"}
@string{acm="ACM"}
@inproceedings{Braione:TermRewritingSE:ESECFSE:2013,
  groups = STAR,
  author = {Braione, Pietro and Denaro, Giovanni and Pezz{\`e},
                  Mauro},
  booktitle = {Proceedings of the European Software Engineering
                  Conference held jointly with the ACM SIGSOFT
                  International Symposium on Foundations of Software
                  Engineering},
  title = {Enhancing symbolic execution with built-in term
                  rewriting and constrained lazy initialization},
  year = 2013,
  series = {ESEC/FSE '13},
  pages = {411--421},
  publisher = {ACM},
}
Powered by bibtexbrowser