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 | 1247 | 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 | 976 | 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 | 328 | 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 | 243 | 2010 |
An ant-based algorithm for coloring graphs TN Bui, TVH Nguyen, CM Patel, KAT Phan Discrete Applied Mathematics 156 (2), 190-200, 2008 | 108 | 2008 |
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 | 101 | 2012 |
The magazine archive includes every article published in Communications of the ACM for over the past 50 years. MY Vardi Communications of the ACM 54 (5), 5, 2011 | 57* | 2011 |
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 | 55 | 2014 |
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 | 51 | 2017 |
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 | 41 | 2014 |
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 | 38 | 2007 |
Symlnfer: Inferring program invariants using symbolic states TV Nguyen, MB Dwyer, W Visser 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 34 | 2017 |
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 | 33 | 2020 |
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 | 30 | 2021 |
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 | 30 | 2016 |
Using execution paths to evolve software patches TV Nguyen, W Weimer, C Le Goues, S Forrest 2009 International Conference on Software Testing, Verification, and …, 2009 | 30 | 2009 |
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 | 29 | 2019 |
Connecting program synthesis and reachability: Automatic program repair using test-input generation TV Nguyen, W Weimer, D Kapur, S Forrest Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 28 | 2017 |
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 | 22 | 2020 |
Fuzzy logic based resource manager for a team of uavs JF Smith, TH Nguyen NAFIPS 2006-2006 Annual Meeting of the North American Fuzzy Information …, 2006 | 16 | 2006 |