Automating test oracles generation
Active learning for automatic classification of software behavior