Steering model-based oracles to admit real program behaviors.

Gregory Gay Sanjai Rayadurgam Mats Per Erik Heimdahl

Published in: ICSE Companion (2014)

Keyphrases

test cases
real life
active learning
static analysis
decision making
computer programs
data sets
artificial intelligence
computer vision
cooperative
fully unsupervised