Characterizing Verification of Bug Fixes in Two Open Source IDEs