Model-Based Testing Using Symbolic Animation and Machine Learning.

Pierre-Christophe Bu, Frdric Dadeau, Pierre-Cyrille Ham

Browse the full ICST paper archive.