Follow
ThanhVu (Vu) Nguyen
ThanhVu (Vu) Nguyen
Other namesThanhVu 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
13452012
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
10082009
Automatic program repair with evolutionary computation
W Weimer, S Forrest, C Le Goues, TV Nguyen
Communications of the ACM 53 (5), 109-116, 2010
486*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
3342009
An ant-based algorithm for coloring graphs
TN Bui, TVH Nguyen, CM Patel, KAT Phan
Discrete Applied Mathematics 156 (2), 190-200, 2008
1082008
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
1062012
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
602014
Counterexample-guided approach to finding numerical invariants
TV Nguyen, T Antonopoulos, A Ruef, M Hicks
ESEC/SIGSOFT FSE, 605-615, 2017
552017
Using Dynamic Analysis to Generate Disjunctive Invariants
TV Nguyen, D Kapur, W Weimer, S Forrest
International Conference on Software Engineering, 608-619, 2014
442014
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
382007
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
362021
SymInfer: Inferring Program Invariants using Symbolic States
TV Nguyen, MB Dwyer, W Visser
Automated Software Engineering (ASE) 10 (1), 10, 2017
362017
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
322019
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
312016
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
302009
DynamiTe: dynamic termination and non-termination proofs
TC Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
292020
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
292017
ATR: template-based repair for Alloy specifications
G Zheng, TV Nguyen, SG Brida, G Regis, N Aguirre, MF Frias, H Bagheri
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
202022
FLACK: Counterexample-guided fault localization for alloy models
G Zheng, TV Nguyen, SG Brida, G Regis, MF Frias, N Aguirre, H Bagheri
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
182021
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
152006
The system can't perform the operation now. Try again later.
Articles 1–20