_id,doi,title
4568,10.1109/ASE.2008.13,Program analysis with dynamic change of precision