Validation of Evolving Software || Optimizing Function Summaries Through Interpolation
Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, NatashaVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-319-10623-6_7
File:
PDF, 199 KB
english, 2015