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