Model-based test generation using extended symbolic grammars

Hai-Feng Guo, Mahadevan Subramaniam. Model-based test generation using extended symbolic grammars. STTT, 16(4):437-455, 2014. [doi]