A study of various automated test oracle methods | IEEE Conference Publication | IEEE Xplore