Registered user since Wed 19 Jul 2017
Name:ThanhVu Nguyen
Country:United States
Affiliation:University of Nebraska, Lincoln
Personal website: https://nguyenthanhvuh.github.io
Research interests:Software Engineering, Invariant Generation, Program Repair
Contributions
2021
ICSE
- Bounded Exhaustive Search of Alloy Specification Repairs
- FLACK: Counterexample-Guided Fault Localization for Alloy Models
- Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models"
- Artifact for "GenTree: Using Decision Trees to Learn Interactions for Configurable Software"
- GenTree: Using Decision Trees to Learn Interactions for Configurable Software
- Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs
ICSE 2021-profile
View general profile
View general profile