Write a Blog >>
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 2022 ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
Session Chair of Technical Session 27 - Dynamic and Concolic Analysis (part of Research Papers)
Artifact of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
Show activities from other conferences

ASE 2022-profile
View general profile