Write a Blog >>
ASE 2021
Mon 15 - Fri 19 November 2021 Australia
ThanhVu Nguyen

Registered user since Wed 19 Jul 2017

Name:ThanhVu Nguyen
Country:United States
Affiliation:George Mason University
Research interests:Software Engineering, Programming Languages, Invariant Generation, Program Repair

Contributions

ASE 2021 BeAFix: An Automated Repair Tool for Faulty Alloy Models
FLACK: Localizing Faults in Alloy Models
GenTree: Inferring Configuration Interactions using Decision Trees
Show activities from other conferences

Using general profile