ThanhVu H. Nguyen
ThanhVu H. Nguyen
Computer Science, George Mason University
Verified email at gmu.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
8472012
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
7802009
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
394*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
2712009
An ant-based algorithm for coloring graphs
TN Bui, TVH Nguyen, CM Patel, KAT Phan
Discrete Applied Mathematics 156 (2), 190-200, 2008
902008
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
802012
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
312009
Using Dynamic Analysis to Generate Disjunctive Invariants
TV Nguyen, D Kapur, W Weimer, S Forrest
International Conference on Software Engineering, 608-619, 2014
302014
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
282014
Counterexample-guided approach to finding numerical invariants
TV Nguyen, T Antonopoulos, A Ruef, M Hicks
ESEC/SIGSOFT FSE, 605-615, 2017
272017
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
272016
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
192017
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
152009
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
152005
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
142006
SymInfer: Inferring Program Invariants using Symbolic States
TV Nguyen, MB Dwyer, W Visser
Automated Software Engineering (ASE) 10 (1), 10, 2017
132017
Fuzzy logic based UAV allocation and coordination
JF Smith III, TVH Nguyen
Informatics in Control Automation and Robotics, 81-94, 2008
112008
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
102019
Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation
TVH Nguyen
University of New Mexico, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20