Quantification of Software Changes through Probabilistic Symbolic Execution (N)

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]

Abstract

Abstract is missing.