Inner oracles: input-specific assertions on internal states.

Yingfei Xiong Dan Hao Lu Zhang Tao Zhu Muyao Zhu Tian Lan

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

internal states
input output
internal state
information retrieval
decision making
domain specific
database
data sets
clustering algorithm
objective function
cooperative
search algorithm
expert systems
active learning