Separation of Transitions, Actions, and Exceptions in Model-Based Testing.

Cyrille Artho Separation of Transitions, Actions, and Exceptions in Model-Based Testing. 279-286 2009 EUROCAST http://dx.doi.org/10.1007/978-3-642-04772-5_37 conf/eurocast/2009 db/conf/eurocast/eurocast2009.html#Artho09