Towards a Theory for Testing Non-terminating Programs | IEEE Conference Publication | IEEE Xplore