Write a Blog >>
ICSE 2021
Sat 22 - Sun 30 May 2021
ThanhVu Nguyen

Registered user since Wed 19 Jul 2017

Name: ThanhVu Nguyen

Affiliation: University of Nebraska, Lincoln

Personal website: https://cse.unl.edu/~tnguyen/

Research interests: Software Engineering, Invariant Generation, Program Repair


ICSE 2021 Bounded Exhaustive Search of Alloy Specification Repairs
FLACK: Counterexample-Guided Fault Localization for Alloy Models
GenTree: Using Decision Trees to Learn Interactions for Configurable Software
Show activities from other conferences

Using general profile