Research

Fields: Software verification, Software Testing

Topics: pairwise testing, software product line, static analysis, affine interval

Academic Activities:

Program committee member:

ATC 2016, ATC 2015

Reviewer of Journal:

Journal on Information Communication Technology, Hanoi, Viet Nam

Listing of my papers: Scholar

Current R&D activity:

• Project: Test case generation for Simulink models of cars (Joint project with JAIST and GAIO Japan)