Quantification of Software Changes through Probabilistic Symbolic Execution (N)Open Website

Antonio Filieri, Corina S. Pasareanu, Guowei Yang

2015 (modified: 24 Apr 2023)ASE 2015Readers: Everyone
0 Replies