![](/img/cover-not-exists.png)
Analyzing system software components using API model guided symbolic execution
Yavuz, Tuba, Bai, Ken (Yihang)Journal:
Automated Software Engineering
DOI:
10.1007/s10515-020-00276-5
Date:
September, 2020
File:
PDF, 3.52 MB
2020