Model-Based Testing Using Symbolic Animation and Machine Learning | IEEE Conference Publication | IEEE Xplore