JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs (bibtex)
by Pietro Braione, Giovanni Denaro, Mauro Pezzè
Reference:
JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs Pietro Braione, Giovanni Denaro, Mauro PezzèIn ESEC/FSE '16: Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, 2016
Bibtex Entry:
@string{lumi="STAR,LTA"}
@string{esecfse="Proceedings of the European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering"}
@string{acm="ACM"}
@inproceedings{Braione:JBSE:ESECFSE:2016,
  groups =	 LUMI,
  author =	 {Pietro Braione and Giovanni Denaro and Mauro
                  Pezz{\`{e}}},
  title =	 {{JBSE}: A Symbolic Executor for Java Programs with
                  Complex Heap Inputs},
  series =	 {ESEC/FSE '16},
  booktitle =	 ESECFSE,
  publisher =	 ACM,
  pages =	 {1018--1022},
  year =	 2016,
  pdf = {papers/2016-fse-braione-jbse.pdf}
}
Powered by bibtexbrowser