Are found defects an indicator of software correctness? An investigation in a controlled case study | IEEE Conference Publication | IEEE Xplore