Quantification of Software Changes through Probabilistic Symbolic Execution (N) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Antonio Filieri' in GoogleThis author has not been identified. Look up 'Corina S. Pasareanu' in GoogleThis author has not been identified. Look up 'Guowei Yang' in Google

runs on WebDSL