AutoBlackTest: a tool for automatic black-box testing
Active learning for automatic classification of software behavior