Assert Use and Defectiveness in Industrial Code | IEEE Conference Publication | IEEE Xplore