Symbolic execution of programs with heap inputs (bibtex)
by Pietro Braione, Giovanni Denaro, Mauro Pezzè
Reference:
Symbolic execution of programs with heap inputs Pietro Braione, Giovanni Denaro, Mauro PezzèIn ESEC/FSE '15: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2015
Bibtex Entry:
@string{star="STAR"}
@inproceedings{Braione:SymbExeHeapInputs:ESECFSE:2015,
  groups = STAR,
  author = {Pietro Braione and Giovanni Denaro and Mauro
                  Pezz{\`{e}}},
  title = {Symbolic execution of programs with heap inputs},
  series = {ESEC/FSE '15},
  booktitle = {Proceedings of the European Software Engineering
                  Conference held jointly with the ACM SIGSOFT
                  International Symposium on Foundations of Software
                  Engineering},
  pages = {602--613},
  year = 2015,
}
Powered by bibtexbrowser