| Genprog: A generic method for automatic software repair C Le Goues, TV Nguyen, S Forrest, W Weimer Ieee transactions on software engineering 38 (1), 54-72, 2011 | 1498 | 2011 |
| Automatically finding patches using genetic programming W Weimer, TV Nguyen, C Le Goues, S Forrest 2009 IEEE 31st International Conference on Software Engineering, 364-374, 2009 | 1028 | 2009 |
| A genetic programming approach to automated software repair S Forrest, TV Nguyen, W Weimer, C Le Goues Proceedings of the 11th Annual conference on Genetic and evolutionary …, 2009 | 353 | 2009 |
| Automatic program repair with evolutionary computation W Weimer, S Forrest, C Le Goues, TV Nguyen Communications of the ACM 53 (5), 109-116, 2010 | 259 | 2010 |
| Using dynamic analysis to discover polynomial and array invariants TV Nguyen, D Kapur, W Weimer, S Forrest 2012 34th International Conference on Software Engineering (ICSE), 683-693, 2012 | 116 | 2012 |
| An ant-based algorithm for coloring graphs TN Bui, TVH Nguyen, CM Patel, KAT Phan Discrete Applied Mathematics 156 (2), 190-200, 2008 | 104 | 2008 |
| Matters of design J Hong Communications of the ACM 54 (2), 10-11, 2011 | 82* | 2011 |
| Counterexample-guided approach to finding numerical invariants TV Nguyen, T Antonopoulos, A Ruef, M Hicks Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 67 | 2017 |
| DIG: A dynamic invariant generator for polynomial and array invariants TV Nguyen, D Kapur, W Weimer, S Forrest ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (4), 1-30, 2014 | 67 | 2014 |
| Software Engineering for Self-Adaptive Systems II R de Lemos, H Giese, HA Müller, M Shaw, J Andersson, M Litoiu, ... Lecture Notes in Computer Science 7475, 2010 | 56* | 2010 |
| Using dynamic analysis to generate disjunctive invariants TV Nguyen, D Kapur, W Weimer, S Forrest Proceedings of the 36th International Conference on Software Engineering …, 2014 | 48 | 2014 |
| Symlnfer: Inferring program invariants using symbolic states TV Nguyen, MB Dwyer, W Visser 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 46 | 2017 |
| Bounded exhaustive search of alloy specification repairs SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 45 | 2021 |
| Impact of globalization on CO2 emissions in Vietnam: an autoregressive distributed lag approach T Nguyen, Q Le Decision Science Letters 9 (2), 257-270, 2020 | 44 | 2020 |
| A dpll (t) framework for verifying deep neural networks H Duong, TV Nguyen, M Dwyer arXiv preprint arXiv:2307.10266, 2023 | 42 | 2023 |
| SLING: using dynamic analysis to infer program invariants in separation logic TC Le, G Zheng, TV Nguyen Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 41 | 2019 |
| Autonomous and cooperative robotic behavior based on fuzzy logic and genetic programming JF Smith Iii, TVH Nguyen Integrated Computer-Aided Engineering 14 (2), 141-159, 2007 | 40 | 2007 |
| iGen: Dynamic interaction inference for configurable software TV Nguyen, U Koc, J Cheng, JS Foster, AA Porter Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 35 | 2016 |
| Harnessing neuron stability to improve dnn verification H Duong, D Xu, TV Nguyen, MB Dwyer Proceedings of the ACM on Software Engineering 1 (FSE), 859-881, 2024 | 34 | 2024 |
| DynamiTe: dynamic termination and non-termination proofs TC Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 34 | 2020 |
ThanhVu (Vu) NguyenComputer Science, George Mason UniversityVerified email at gmu.edu
