A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.
01 December 2014
Venue : APLAS
External Link: https://doi.org/10.1007/978-3-319-12736-1_11