Object-oriented legacy system trace-based logic testing | IEEE Conference Publication | IEEE Xplore