ThanhVu H. Nguyen
ThanhVu H. Nguyen
Assistant Professor Computer Science & Engineering, University of Nebraska, Lincoln
Verified email at cse.unl.edu - Homepage
Title
Cited by
Cited by
Year
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
6792012
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
6762009
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
341*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
2372009
An ant-based algorithm for coloring graphs
TN Bui, TVH Nguyen, CM Patel, KAT Phan
Discrete Applied Mathematics 156 (2), 190-200, 2008
852008
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
702012
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
372007
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
292009
Using Dynamic Analysis to Generate Disjunctive Invariants
TV Nguyen, D Kapur, W Weimer, S Forrest
International Conference on Software Engineering, 608-619, 2014
272014
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
242014
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
212016
Counterexample-guided approach to finding numerical invariants
TV Nguyen, T Antonopoulos, A Ruef, M Hicks
ESEC/SIGSOFT FSE, 605-615, 2017
182017
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
162009
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
162005
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
142017
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
122006
Fuzzy logic based UAV allocation and coordination
JF Smith III, TVH Nguyen
Informatics in Control Automation and Robotics, 81-94, 2008
112008
Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation
TVH Nguyen
University of New Mexico, 2014
10*2014
SymInfer: Inferring Program Invariants using Symbolic States
TV Nguyen, MB Dwyer, W Visser
Automated Software Engineering (ASE) 10 (1), 10, 2017
72017
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