Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl. Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors. IEEE Trans. Software Eng., 43(6):531-555, 2017. [doi]

Abstract

Abstract is missing.