Data-mining-based automated reverse engineering and defect discovery. - James F. Smith III; ThanhVu H. Nguyen (Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security, 2005)

Genetic program based data mining to reverse engineer digital logic. - James F. Smith III; ThanhVu H. Nguyen (Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security, 2006)

An agent-based algorithm for generalized graph colorings. - Thang Nguyen Bui; ThanhVu H. Nguyen (GECCO, 2006)

Fuzzy logic based UAV allocation and coordination. - James F. Smith III; ThanhVu H. Nguyen (ICINCO-ICSO, 2006)

Evolutionary data mining approach to creating digital logic. - James F. Smith III; ThanhVu H. Nguyen (ICINCO-SPSMC, 2006)

Guiding Genetic Program Based Data Mining Using Fuzzy Rules. - James F. Smith III; ThanhVu H. Nguyen (IDEAL, 2006)

Genetic program based data mining of fuzzy decision trees and methods of improving convergence and reducing bloat. - James F. Smith III; ThanhVu H. Nguyen (Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security, 2007)

Autonomous and cooperative robotic behavior based on fuzzy logic and genetic programming. - James F. Smith III; ThanhVu H. Nguyen (Integr. Comput. Aided Eng., 2007)

An ant-based algorithm for coloring graphs. - Thang Nguyen Bui; ThanhVu H. Nguyen; Chirag M. Patel; Kim-Anh T. Phan (Discret. Appl. Math., 2008)

Parallel shared memory strategies for ant-based optimization algorithms. - Thang Nguyen Bui; ThanhVu H. Nguyen; Joseph R. Rizzo (GECCO, 2009)

A genetic programming approach to automated software repair. - Stephanie Forrest; ThanhVu Nguyen; Westley Weimer; Claire Le Goues (GECCO, 2009)

Automatically finding patches using genetic programming. - Westley Weimer; ThanhVu Nguyen; Claire Le Goues; Stephanie Forrest (ICSE, 2009)

Using Execution Paths to Evolve Software Patches. - ThanhVu Nguyen; Westley Weimer; Claire Le Goues; Stephanie Forrest (ICST Workshops, 2009)

Automatic program repair with evolutionary computation. - Westley Weimer; Stephanie Forrest; Claire Le Goues; ThanhVu Nguyen (Commun. ACM, 2010)

Using dynamic analysis to discover polynomial and array invariants. - ThanhVu Nguyen; Deepak Kapur; Westley Weimer; Stephanie Forrest (ICSE, 2012)

GenProg: A Generic Method for Automatic Software Repair. - Claire Le Goues; ThanhVu Nguyen; Stephanie Forrest; Westley Weimer (IEEE Trans. Software Eng., 2012)

Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. - Deepak Kapur; Zhihai Zhang; Matthias Horbach; Hengjun Zhao; Qi Lu; ThanhVu Nguyen (Automated Reasoning and Mathematics, 2013)

Using dynamic analysis to generate disjunctive invariants. - ThanhVu Nguyen; Deepak Kapur; Westley Weimer; Stephanie Forrest (ICSE, 2014)

DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. - ThanhVu Nguyen; Deepak Kapur; Westley Weimer; Stephanie Forrest (ACM Trans. Softw. Eng. Methodol., 2014)

iGen: dynamic interaction inference for configurable software. - ThanhVu Nguyen; Ugur Koc; Javran Cheng; Jeffrey S. Foster; Adam A. Porter (SIGSOFT FSE, 2016)

SymInfer: inferring program invariants using symbolic states. - ThanhVu Nguyen; Matthew B. Dwyer; Willem Visser (ASE, 2017)

Counterexample-guided approach to finding numerical invariants. - ThanhVu Nguyen; Timos Antonopoulos; Andrew Ruef; Michael Hicks 001 (ESEC/SIGSOFT FSE, 2017)

Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation. - ThanhVu Nguyen; Westley Weimer; Deepak Kapur; Stephanie Forrest (TACAS (1), 2017)

Localizing configurations in highly-configurable systems. - Paul Gazzillo; Ugur Koc; ThanhVu Nguyen; Shiyi Wei (SPLC, 2018)

Automatic Data Structure Repair usingSeparation Logic. - Guolong Zheng; Quang Loc Le; ThanhVu Nguyen; Quoc-Sang Phan (ACM SIGSOFT Softw. Eng. Notes, 2018)

SLING: using dynamic analysis to infer program invariants in separation logic. - Ton Chanh Le; Guolong Zheng; ThanhVu Nguyen (PLDI, 2019)

Program synthesis with algebraic library specifications. - Benjamin Mariano; Josh Reese; Siyuan Xu; ThanhVu Nguyen; Xiaokang Qiu; Jeffrey S. Foster; Armando Solar-Lezama (Proc. ACM Program. Lang., 2019)

Using Symbolic Execution to Analyze Linux KBuild Makefiles. - ThanhVu Nguyen; KimHao Nguyen (ICSME, 2020)

Debugging Declarative Models in Alloy. - Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen (ICSME, 2020)

DynamiTe: dynamic termination and non-termination proofs. - Ton Chanh Le; Timos Antonopoulos; Parisa Fathololumi; Eric Koskinen; ThanhVu Nguyen (Proc. ACM Program. Lang., 2020)

Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2021)

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ICSE (Companion Volume), 2021)

GenTree: Using Decision Trees to Learn Interactions for Configurable Software. - KimHao Nguyen; ThanhVu Nguyen (ICSE, 2021)

Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software". - KimHao Nguyen; ThanhVu Nguyen (ICSE (Companion Volume), 2021)

FLACK: Counterexample-Guided Fault Localization for Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE, 2021)

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ICSE (Companion Volume), 2021)

BeAFix: An Automated Repair Tool for Faulty Alloy Models. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2021)

GenTree: Inferring Configuration Interactions using Decision Trees. - KimHao Nguyen; ThanhVu Nguyen (ASE, 2021)

FLACK: Localizing Faults in Alloy Models. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Marcelo F. Frias; Nazareno Aguirre; Hamid Bagheri (ASE, 2021)

Dynaplex: analyzing program complexity using dynamically inferred recurrence relations. - Didier Ishimwe; KimHao Nguyen; ThanhVu Nguyen (Proc. ACM Program. Lang., 2021)

Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. - Didier Ishimwe; ThanhVu Nguyen; KimHao Nguyen (ICSE-Companion, 2022)

Toward the Analysis of Graph Neural Networks. - Thanh-Dat Nguyen; Thanh Le-Cong; ThanhVu H. Nguyen; Xuan-Bach Dinh Le 001; Quyet-Thang Huynh (ICSE (NIER), 2022)

SymInfer: Inferring Numerical Invariants using Symbolic States. - ThanhVu Nguyen; KimHao Nguyen; Hai Duong (ICSE-Companion, 2022)

Analyzing the CMake Build System. - KimHao Nguyen; ThanhVu Nguyen; Quoc-Sang Phan (ICSE (SEIP), 2022)

ATR: template-based repair for Alloy specifications. - Guolong Zheng; ThanhVu Nguyen; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo F. Frias; Hamid Bagheri (ISSTA, 2022)

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. - Simón Gutiérrez Brida; Germán Regis; Guolong Zheng; Hamid Bagheri; ThanhVu Nguyen; Nazareno Aguirre; Marcelo F. Frias (ASE, 2022)

Using Symbolic States to Infer Numerical Invariants. - ThanhVu Nguyen; KimHao Nguyen; Matthew B. Dwyer (IEEE Trans. Software Eng., 2022)

The Challenges of Shift Left Static Analysis. - Quoc-Sang Phan; KimHao Nguyen; ThanhVu Nguyen (ICSE-SEIP, 2023)

Triggering Modes in Spectrum-Based Multi-location Fault Localization. - Tung Dao; Na Meng 001; ThanhVu Nguyen (ESEC/SIGSOFT FSE, 2023)

COOLIO: A Language Support Extension for the Classroom Object Oriented Language. - Linhan Li; ThanhVu Nguyen (CoRR, 2023)

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing. - Yuandong Cyrus Liu; Ton-Chanh Le; Timos Antonopoulos; Eric Koskinen; ThanhVu Nguyen (CoRR, 2023)

A DPLL(T) Framework for Verifying Deep Neural Networks. - Hai Duong; Linhan Li; ThanhVu Nguyen; Matthew B. Dwyer (CoRR, 2023)

Graph Learning for Interactive Threat Detection in Heterogeneous Smart Home Rule Data. - Guangjing Wang 001; Nikolay Ivanov; Bocheng Chen; Qi Wang 017; ThanhVu Nguyen; Qiben Yan (Proc. ACM Manag. Data, 2023)

Learning Randomized Reductions and Program Properties. - Ferhat Erata; Orr Paradise; Timos Antonopoulos; ThanhVu Nguyen; Shafi Goldwasser; Ruzica Piskac (CoRR, 2024)

Harnessing Neuron Stability to Improve DNN Verification. - Hai Duong; Dong Xu 021; ThanhVu Nguyen; Matthew B. Dwyer (Proc. ACM Softw. Eng., 2024)

NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. - Hai Duong; ThanhVu Nguyen; Matthew B. Dwyer (CAV (2), 2025)

AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants. - Long Doan; ThanhVu Nguyen (NIER@ICSE, 2025)

COOLer: A Language Support Extension for COOL in VS Code. - Linhan Li; ThanhVu Nguyen (ISSTA Companion, 2025)

Bringing Invariant Analysis to modern IDEs: The DIG+ Extension for VS Code. - Stefania Piciorea; ThanhVu Nguyen (ISSTA Companion, 2025)