![](/img/cover-not-exists.png)
[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Quantification of Software Changes through Probabilistic Symbolic Execution (N)
Filieri, Antonio, Pasareanu, Corina S., Yang, GuoweiYear:
2015
Language:
english
DOI:
10.1109/ase.2015.78
File:
PDF, 550 KB
english, 2015