MAFSE: A Model-Based Framework for Software Verification. - Tho T. Quan; Duc L. N. Hoang; B. Tam T. Nguyen; An N. Nguyen; Quan D. Tran; Phung H. Nguyen; Thang H. Bui; Anh T. Do; Linh V. Huynh; Nam T. Doan; Nguyen T. Huynh; Thien D. Nguyen; et al. (SSIRI (Companion), 2010)

CTGE: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving Programs. - Anh D. Le; Tho T. Quan; Nguyen T. Huynh; Phung H. Nguyen (ICSOFT (2), 2011)

Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. - Anh D. Le; Tho T. Quan; Nguyen T. Huynh; Phung H. Nguyen; Nhat-Van Le (ICSOFT (Selected Papers), 2011)