BibTeX record conf/sigsoft/BraioneDP13

• > Home > conf/sigsoft/BraioneDP13

@inproceedings{DBLP:conf/sigsoft/BraioneDP13,
  author       = {Pietro Braione and
                  Giovanni Denaro and
                  Mauro Pezz{\`{e}}},
  editor       = {Bertrand Meyer and
                  Luciano Baresi and
                  Mira Mezini},
  title        = {Enhancing symbolic execution with built-in term rewriting and constrained
                  lazy initialization},
  booktitle    = {Joint Meeting of the European Software Engineering Conference and
                  the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
                  ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  pages        = {411--421},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491411.2491433},
  doi          = {10.1145/2491411.2491433},
  timestamp    = {Sun, 02 Oct 2022 16:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/BraioneDP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}