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.

Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan

01 December 2014


Venue : APLAS

External Link: https://doi.org/10.1007/978-3-319-12736-1_11