Proof-guided testing: an experimental study | IEEE Conference Publication | IEEE Xplore