Validation of Evolving Software || Regression Checking of Changes in C Software
Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, NatashaVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-319-10623-6_12
File:
PDF, 619 KB
english, 2015