Phung H. Nguyen

According to our database, Phung H. Nguyen authored at least 4 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

CTG^E: 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

Proceedings of the ICSOFT 2011, 2011

2010

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, Binh T. T. Nguyen, Vu H. Nguyen

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

COMBINE: A Tool on Combined Formal Methods for Bindingly Verification.

An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui

Proceedings of the Automated Technology for Verification and Analysis, 2010