DESIGNING FOR SOFTWARE TESTABILITY USING AUTOMATED ORACLES | IEEE Conference Publication | IEEE Xplore