A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking.

Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan

Browse the full APLAS paper archive.