"Distributed Online Test Generation for Model-Based Testing." In 20th Asia-Pacific Software Engineering Conference (APSEC). Bangkok, Thailand , 2013.