Design Defects Detection and Correction by Example | IEEE Conference Publication | IEEE Xplore