29 citations · 37 across the 6 of their papers we have counts for
10 papers
Bounded Exhaustive Search of Alloy Specification Repairs
Simón Gutiérrez Brida, Germán Regis, Guolong Zhengz +4
The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However,…
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida +4
Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are d…
GenTree: Using Decision Trees to Learn Interactions for Configurable Software
KimHao Nguyen, ThanhVu Nguyen
Modern software systems are increasingly designed to be highly configurable, which increases flexibility but can make programs harder to develop, test, and analyze, e.g., how confi…
DynamiTe: Dynamic Termination and Non-termination Proofs
Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi +2
There is growing interest in termination reasoning for non-linear programs and, meanwhile, recent dynamic strategies have shown they are able to infer invariants for such challengi…
Using Dynamic Analysis to Generate Disjunctive Invariants
ThanhVu Nguyen, Deepak Kapur, Westley Weimer +1
Program invariants are important for defect detection, program verification, and program repair. However, existing techniques have limited support for important classes of invarian…
iGen: Dynamic Interaction Inference for Configurable Software
ThanhVu Nguyen, Ugur Koc, Javran Cheng +2
To develop, analyze, and evolve today's highly configurable software systems, developers need deep knowledge of a system's configuration options, e.g., how options need to be set t…