Evaluating four white-box test coverage methodologies | IEEE Conference Publication | IEEE Xplore