Constructing an automated testing oracle: an effort to produce reliable software | IEEE Conference Publication | IEEE Xplore