How Effective is Model Checking in Practice? - TheAnh Do; Alvis Cheuk M. Fong; Russel Pears (ENASE, 2011)

Web content recommender system based on consumer behavior modeling. - Alvis Cheuk M. Fong; Baoyao Zhou; Siu Cheung Hui; Guan Y. Hong; TheAnh Do (IEEE Trans. Consumer Electron., 2011)

Precise Guidance to Dynamic Test Generation. - TheAnh Do; Alvis Cheuk M. Fong; Russel Pears (ENASE, 2012)

Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage. - TheAnh Do; Alvis Cheuk M. Fong; Russel Pears (ENASE (Selected Papers), 2012)

Scalable automated test generation using coverage guidance and random search. - TheAnh Do; Alvis Cheuk M. Fong; Russel Pears (AST, 2012)

Goal-oriented dynamic test generation. - TheAnh Do; Siau-Cheng Khoo; Alvis Cheuk Ming Fong; Russel Pears; Tho Thanh Quan (Inf. Softw. Technol., 2015)