Applicability of non-specification-based approaches to logic testing for software | IEEE Conference Publication | IEEE Xplore