SANER 2025
Tue 4 - Fri 7 March 2025 Montréal, Québec, Canada
Thu 6 Mar 2025 16:35 - 16:42 at M-2401 - Short Paper & Posters Chair(s): Leuson Da Silva

Using reverse engineering to extract semantic representations from software systems is beneficial for understanding these systems, and can facilitate their maintenance and evolution. In particular, extracting semantically-precise specifications from systems is useful for re-engineering of systems to functionally-equivalent versions in different programming languages. Large language models (LLMs) are a type of machine learning (ML) technique that has been utilized in various domains, including software engineering and program translation. Yet, abstracting precise Object Constraint Language (OCL) specifications from source code using LLMs has not gained attention in reverse engineering approaches. In this paper, we present a new reverse engineering approach, named LLM4Models, to abstract OCL specifications from Java and Python programs, using LLMs.

Thu 6 Mar

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:00
Short Paper & PostersShort Papers and Posters Track at M-2401
Chair(s): Leuson Da Silva Polytechnique Montreal
16:00
7m
Talk
An Exploratory Study on the Impact of Change-proneness as a Metric in Black-box Test Suite Minimization
Short Papers and Posters Track
Md Siam University of Dhaka, Mridha Md. Nafis Fuad University of Dhaka, Kazi Sakib
Media Attached
16:07
7m
Talk
Evaluating Multi-Modal LLMs for Automatically Recognizing Semantic Elements in UML Use Case Diagram Images
Short Papers and Posters Track
16:14
7m
Talk
MultiMal: Multimodal Fusion Combining Graph and Entropy Features for Malware Detection
Short Papers and Posters Track
He Kaiyan Shanghai Jiao Tong University, Haining Lu Shanghai Jiao Tong University, Dawu Gu Shanghai Jiao Tong University
16:21
7m
Talk
Reduce before you repair: advantages of combining program slicing with automated program repair
Short Papers and Posters Track
Omar I. Al Bataineh Gran Sasso Science Institute (GSSI)
File Attached
16:28
7m
Talk
Towards Developing Effective Oracles to Reduce Patch Overfitting in Automated Program Repair
Short Papers and Posters Track
Omar I. Al Bataineh Gran Sasso Science Institute (GSSI)
File Attached
16:35
7m
Talk
Towards Using LLMs in the Reverse Engineering of Software Systems to Object Constraint Language
Short Papers and Posters Track
Hanan Abdulwahab Siala PhD Student in King's College London, Dr Kevin Lano King's College London
Media Attached File Attached
:
:
:
: