| 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, 2012 | 1065 | 2012 |
| 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 | 890 | 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 | 431* | 2010 |
| 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 | 303 | 2009 |
| 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 |
| 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 | 96 | 2012 |
| Counterexample-guided approach to finding numerical invariants TV Nguyen, T Antonopoulos, A Ruef, M Hicks ESEC/SIGSOFT FSE, 605-615, 2017 | 46 | 2017 |
| DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants T Nguyen, D Kapur, W Weimer, S Forrest ACM Transactions on Software Engineering and Methodology, 2014 | 42 | 2014 |
| Using Dynamic Analysis to Generate Disjunctive Invariants TV Nguyen, D Kapur, W Weimer, S Forrest International Conference on Software Engineering, 608-619, 2014 | 40 | 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 |
| 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 |
| SymInfer: Inferring Program Invariants using Symbolic States TV Nguyen, MB Dwyer, W Visser Automated Software Engineering (ASE) 10 (1), 10, 2017 | 28 | 2017 |
| Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation TV Nguyen, W Weimer, D Kapur, S Forrest International Conference on Tools and Algorithms for the Construction and …, 2017 | 27 | 2017 |
| 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 | 20 | 2019 |
| Parallel shared memory strategies for ant-based optimization algorithms TN Bui, TV Nguyen, JR Rizzo Jr Proceedings of the 11th Annual conference on Genetic and evolutionary …, 2009 | 16 | 2009 |
| 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 | 15 | 2006 |
| Distributed autonomous systems: resource management, planning, and control algorithms JF Smith III, TVH Nguyen Signal Processing, Sensor Fusion, and Target Recognition XIV 5809, 65-76, 2005 | 15 | 2005 |
| Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation TVH Nguyen University of New Mexico, 2014 | 14 | 2014 |
| 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 | 13 | 2021 |
Stephanie ForrestProfessor of Computer Science, Univ. of New MexicoVerified email at santafe.edu
