Login / Signup
TheAnh Do
Publication Activity (10 Years)
Years Active: 2011-2015
Publications (10 Years): 1
Top Topics
Dependency Analysis
Parameter Optimization
Symbolic Execution
Random Search
Top Venues
Inf. Softw. Technol.
ENASE
ENASE (Selected Papers)
AST
</>
Publications
</>
TheAnh Do
,
Siau-Cheng Khoo
,
Alvis Cheuk Ming Fong
,
Russel Pears
,
Tho Thanh Quan
Goal-oriented dynamic test generation.
Inf. Softw. Technol.
66 (2015)
TheAnh Do
,
Alvis Cheuk M. Fong
,
Russel Pears
Scalable automated test generation using coverage guidance and random search.
AST
(2012)
TheAnh Do
,
Alvis Cheuk M. Fong
,
Russel Pears
Precise Guidance to Dynamic Test Generation.
ENASE
(2012)
TheAnh Do
,
Alvis Cheuk M. Fong
,
Russel Pears
Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage.
ENASE (Selected Papers)
(2012)
TheAnh Do
,
Alvis Cheuk M. Fong
,
Russel Pears
How Effective is Model Checking in Practice?
ENASE
(2011)
Alvis Cheuk M. Fong
,
Baoyao Zhou
,
Siu Cheung Hui
,
Guan Y. Hong
,
TheAnh Do
Web content recommender system based on consumer behavior modeling.
IEEE Trans. Consumer Electron.
57 (2) (2011)