logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
T

ThanhVu Nguyen

george mason university

17H-index
85Paper Count
2.9KCitation Count
Published Papers 6
Publication Date
logo
NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution)
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errDuong, Hai; ThanhVu Nguyen
errShare
errSave
Using Symbolic States to Infer Numerical Invariants
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-10-01
err2
errOAAI
errThanhVu Nguyen; KimHao Nguyen; Dwyer, Matthew B.
errShare
errSave
DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2014-09-05
err33
errOAAI
errThanhvu Nguyen; Kapur, Deepak; Weimer, Westley; Forrest, Stephanie
errShare
errSave
GenProg: A Generic Method for Automatic Software Repair
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-01-01
err594
PREAI
errLe Goues, Claire; ThanhVu Nguyen; Forrest, Stephanie; Weimer, Westley
errShare
errSave
Automatic Program Repair with Evolutionary Computation
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-05-01
err116
PREAI
errWeimer, Westley; Forrest, Stephanie; Le Goues, Claire; Nguyen, ThanhVu
errShare
errSave
MODEL - A SOFTWARE SUITE FOR DATA ACQUISITION
errCOMPUTER PHYSICS COMMUNICATIONS
IF3.4
err1989-12-01
err4
errOAAI
errSENDALL, DM; BOISSAT, C; BOZZOLI, W; BURKIMSHER, P; JONES, R; MATHEYS, JP; MORNACCHI, G; NGUYEN, T; VANDEVYVRE, P; VASCOTTO, A; WEAVER, D
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
G
G. Mornacchi
H-index: 89 · Papers: 355
S
Stephanie Forrest
H-index: 75 · Papers: 314
P
P. Vande Vyvre
H-index: 62 · Papers: 375
W
Westley Weimer
H-index: 52 · Papers: 213
M
Matthew B. Dwyer
H-index: 50 · Papers: 302
View more