00294nas a2200109   4500000000100000000000100001008004100002260003800043100002000081700002000101245006300121       2013                            d  c2-5 Dec. 2013aBangkok, Thailand 1 aTeemu Kanstrén1 aTuomas Kekkonen00aDistributed Online Test Generation for Model-Based Testing