Part III. Model-Based Test Case Generation.

Part III. Model-Based Test Case Generation. 277-279 2004 conf/dagstuhl/2004test Model-Based Testing of Reactive Systems http://dx.doi.org/10.1007/11498490_12 db/conf/dagstuhl/test2004.html#X04b