Residual Investigation: Predictive and Precise Bug Detection

Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. Residual Investigation: Predictive and Precise Bug Detection. In Uwe Aßmann, Birgit Demuth, Thorsten Spitta, Georg Püschel, Ronny Kaiser, editors, Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. Volume 239 of LNI, pages 133-134, GI, 2015.

@inproceedings{LiRCS15,
  title = {Residual Investigation: Predictive and Precise Bug Detection},
  author = {Kaituo Li and Christoph Reichenbach and Christoph Csallner and Yannis Smaragdakis},
  year = {2015},
  researchr = {https://researchr.org/publication/LiRCS15},
  cites = {0},
  citedby = {0},
  pages = {133-134},
  booktitle = {Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany},
  editor = {Uwe Aßmann and Birgit Demuth and Thorsten Spitta and Georg Püschel and Ronny Kaiser},
  volume = {239},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-633-6},
}