3 citations · 4 across the 3 of their papers we have counts for
4 papers
Characterizing Bugs in Python and R Data Analytics Programs
Shibbir Ahmed, Mohammad Wardat, Hamid Bagheri +2
R and Python are among the most popular languages used in many critical data analytics tasks. However, we still do not fully understand the capabilities of these two languages w.r.…
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…
Synthesis from Formal Partial Abstractions
Hamid Bagheri
Developing complex software systems is costly, time-consuming and error-prone. Model- driven development (MDD) promises to improve software productivity, timeliness, quality and co…