Atrina: Inferring Unit Oracles from GUI Test Cases | IEEE Conference Publication | IEEE Xplore