![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] NASA Formal Methods Volume 10811 || Using Test Ranges to Improve Symbolic Execution
Dutle, Aaron, Muñoz, César, Narkawicz, AnthonyVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-77935-5_28
File:
PDF, 443 KB
english, 2018