2 papers
cs.SE2025
Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring
Abhiram Bellur, Fraol Batole, Mohammed Raihan Ullah +12
MOVEMETHOD is a hallmark refactoring. Despite a plethora of research tools that recommend which methods to move and where, these recommendations do not align with how expert develo…
cs.LO2025
A Logical Formalisation of a Hypothesis in Weighted Abduction: towards User-Feedback Dialogues
Shota Motoura, Ayako Hoshino, Itaru Hosomi +1
Weighted abduction computes hypotheses that explain input observations. A reasoner of weighted abduction first generates possible hypotheses and then selects the hypothesis that is…