3 papers
cs.AI2025
Formal Concept Analysis: a Structural Framework for Variability Extraction and Analysis
Jessie Galasso
Formal Concept Analysis (FCA) is a mathematical framework for knowledge representation and discovery. It performs a hierarchical clustering over a set of objects described by attri…
cs.SE2022
Code Sophistication: From Code Recommendation to Logic Recommendation
Jessie Galasso, Michalis Famelis, Houari Sahraoui
A typical approach to programming is to first code the main execution scenario, and then focus on filling out alternative behaviors and corner cases. But, almost always, there exis…
cs.SE2020
Fixing Multiple Type Errors in Model Transformations with Alternative Oracles to Test Cases
Zahra VaraminyBahnemiry, Jessie Galasso, Houari Sahraoui
This paper addresses the issue of correcting type errors in model transformations in realistic scenarios where neither predefined patches nor behavior-safe guards such as test suit…