Nguyen T. Huynh

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen, Nhat-Van Le
Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. ICSOFT (Selected Papers) (2011)
Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen
: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving Programs. ICSOFT (2) (2011)
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, Binh T. T. Nguyen, Vu H. Nguyen
MAFSE: A Model-Based Framework for Software Verification. SSIRI (Companion) (2010)