Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys. Statistical Symbolic Execution with Informed Sampling. 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 51-52, GI, 2015.
@inproceedings{FilieriPVG15,
title = {Statistical Symbolic Execution with Informed Sampling},
author = {Antonio Filieri and Corina S. Pasareanu and Willem Visser and Jaco Geldenhuys},
year = {2015},
researchr = {https://researchr.org/publication/FilieriPVG15},
cites = {0},
citedby = {0},
pages = {51-52},
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},
}