Concepedia

Hoang Duong Thien Nguyen

HD

Statistics

Publications

4

Citations

830

H-Index

4

Active since

2011

Affiliations

National University of Singapore(Current)

Hoang Duong Thien Nguyen is an author at National University of Singapore specializing in formal methods, formal verification, and engineering.

Top concepts

Publications per year

2011–2013

4

Publications

4

SemFix: program repair via semantic analysis

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury et al. · International Conference on Software Engineering · 2013 · 404 citations

, , +17

SemFix: Program repair via semantic analysis

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury et al. · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 368 citations

, , +17

Path exploration based on symbolic output

Dawei Qi, Hoang Duong Thien Nguyen, Abhik Roychoudhury · 2011 · 36 citations

, , +26

Path exploration based on symbolic output

Dawei Qi, Hoang Duong Thien Nguyen, Abhik Roychoudhury · ACM Transactions on Software Engineering and Methodology · 2013 · 22 citations

, , +27

1–4 of 4