ThanhVu H. Nguyen
ThanhVu H. Nguyen
Assistant Professor Computer Science & Engineering, University of Nebraska, Lincoln
Verified email at cse.unl.edu - Homepage
TitleCited byYear
Automatically finding patches using genetic programming
W Weimer, TV Nguyen, C Le Goues, S Forrest
Proceedings of the 31st International Conference on Software Engineering …, 2009
6152009
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
5962012
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
308*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
2252009
An ant-based algorithm for coloring graphs
TN Bui, TVH Nguyen, CM Patel, KAT Phan
Discrete Applied Mathematics 156 (2), 190-200, 2008
812008
Using dynamic analysis to discover polynomial and array invariants
TV Nguyen, D Kapur, W Weimer, S Forrest
Proceedings of the 34th International Conference on Software Engineering …, 2012
652012
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
332007
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
252009
Using Dynamic Analysis to Generate Disjunctive Invariants
TV Nguyen, D Kapur, W Weimer, S Forrest
International Conference on Software Engineering, 608-619, 2014
242014
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
212014
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
162016
Parallel shared memory strategies for ant-based optimization algorithms
TN Bui, TV Nguyen, JR Rizzo Jr
GECCO'09: Proceedings of the 11th Annual conference on Genetic and …, 2009
162009
Distributed autonomous systems: resource management, planning, and control algorithms
JF Smith, TVH Nguyen
Signal Processing, Sensor Fusion, and Target Recognition XIV 5809, 65-77, 2005
162005
Counterexample-guided approach to finding numerical invariants
TV Nguyen, T Antonopoulos, A Ruef, M Hicks
ESEC/SIGSOFT FSE, 605-615, 2017
142017
Fuzzy logic based UAV allocation and coordination
JF Smith III, TVH Nguyen
Informatics in Control Automation and Robotics, 81-94, 2008
112008
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
102006
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
92017
Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation
TVH Nguyen
University of New Mexico, 2014
8*2014
An agent-based algorithm for generalized graph colorings
TN Bui, TVH Nguyen
Proceedings of the 8th annual conference on Genetic and evolutionary …, 2006
82006
Fuzzy decision trees for planning and autonomous control of a coordinated team of UAVs
JF Smith III, TVH Nguyen
Defense and Security Symposium, 656708-656708-12, 2007
72007
The system can't perform the operation now. Try again later.
Articles 1–20