Antonio Filieri, Corina S. Pasareanu, Guowei Yang. Quantification of Software Changes through Probabilistic Symbolic Execution (N). In Myra B. Cohen, Lars Grunske, Michael Whalen, editors, 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. pages 703-708, IEEE, 2015. [doi]
@inproceedings{FilieriPY15, title = {Quantification of Software Changes through Probabilistic Symbolic Execution (N)}, author = {Antonio Filieri and Corina S. Pasareanu and Guowei Yang}, year = {2015}, doi = {10.1109/ASE.2015.78}, url = {http://dx.doi.org/10.1109/ASE.2015.78}, researchr = {https://researchr.org/publication/FilieriPY15}, cites = {0}, citedby = {0}, pages = {703-708}, booktitle = {30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015}, editor = {Myra B. Cohen and Lars Grunske and Michael Whalen}, publisher = {IEEE}, isbn = {978-1-5090-0025-8}, }