The art of semi-formal bug huntingPradeep Kumar NallaRaj Kumar Gajavellyet al.2016ICCAD 2016Conference paper