Using functional view of software to increase performance in defect testing | IEEE Conference Publication | IEEE Xplore