Cover Image

Caruca: Effective and Efficient Specification Mining for Opaque Software Components

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lamprou, Evangelos, Jung, Seong-Heon, Keoliya, Mayank, Lazarek, Lukas, Kallas, Konstantinos, Greenberg, Michael, Vasilakis, Nikos
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
by: Yang, Rem, et al.
Published: (2025)

How Effective are Large Language Models in Generating Software Specifications?
by: Xie, Danning, et al.
Published: (2023)

Teaching Mining Software Repositories
by: Codabux, Zadia, et al.
Published: (2025)

When Are Reactive Notebooks Not Reactive?
by: Zheng, Megan, et al.
Published: (2025)

A Methodological Framework for LLM-Based Mining of Software Repositories
by: De Martino, Vincenzo, et al.
Published: (2025)

The Rise of Language Models in Mining Software Repositories: A Survey
by: Romero-Arjona, Miguel, et al.
Published: (2026)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

Mining Q&A Platforms for Empirical Evidence on Quantum Software Programming
by: Khan, Arif Ali, et al.
Published: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
by: Klimek, Radoslaw, et al.
Published: (2025)

Mining Software Repositories for Expert Recommendation
by: Marshall, Chad, et al.
Published: (2025)

An Effective Software Risk Prediction Management Analysis of Data Using Machine Learning and Data Mining Method
by: Xu, Jinxin, et al.
Published: (2024)

Effective Delegation and Leadership in Software Management
by: Mirkhan, Star Dawood, et al.
Published: (2024)

A Framework for Using LLMs for Repository Mining Studies in Empirical Software Engineering
by: de Martino, Vincenzo, et al.
Published: (2024)

Privacy by Design: Aligning GDPR and Software Engineering Specifications with a Requirements Engineering Approach
by: Kosenkov, Oleksandr, et al.
Published: (2025)

An Interactive Empirical Approach to the Validation of Software Package Specifications
by: Fraser, S. D., et al.
Published: (2024)

Characterising Developer Sentiment in Software Components: An Exploratory Study of Gentoo
by: Tulili, Tien Rahayu, et al.
Published: (2024)

Does the Tool Matter? Exploring Some Causes of Threats to Validity in Mining Software Repositories
by: Hoess, Nicole, et al.
Published: (2025)

Dealing with SonarQube Cloud: Initial Results from a Mining Software Repository Study
by: Nocera, Sabato, et al.
Published: (2025)

Exploring Individual Factors in the Adoption of LLMs for Specific Software Engineering Purposes
by: Lambiase, Stefano, et al.
Published: (2025)

Visual Integration of Static and Dynamic Software Analysis in Code Reviews via Software City Visualization
by: Krause-Glau, Alexander, et al.
Published: (2024)

Mining Quantum Software Patterns in Open-Source Projects
by: Ramalho, Neilson Carlos Leite, et al.
Published: (2026)

Data Mining-Based Techniques for Software Fault Localization
by: Cellier, Peggy, et al.
Published: (2025)

Component Based Systems: A Novel Methodology in Software Engineering
by: Usama Quadri Syed
Published: (2019)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
by: Gu, Xiaodong, et al.
Published: (2023)

Do Developers Adopt Green Architectural Tactics for ML-Enabled Systems? A Mining Software Repository Study
by: De Martino, Vincenzo, et al.
Published: (2024)

Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks
by: Ke, Qiang, et al.
Published: (2026)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
by: Barbie, Alexander, et al.
Published: (2023)

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
by: Ran, Dezhi, et al.
Published: (2025)

Notes On Writing Effective Empirical Software Engineering Papers: An Opinionated Primer
by: Verdecchia, Roberto, et al.
Published: (2025)

Implementing Effective Changes in Software Projects to Optimize Runtimes and Minimize Defects
by: Gupta, Kartik
Published: (2025)

Integrating Large Language Models in Software Engineering Education: A Pilot Study through GitHub Repositories Mining
by: Khan, Maryam, et al.
Published: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)

Teaching Energy-Efficient Software -- An Experience Report
by: Christensen, Henrik Bærbak, et al.
Published: (2025)

Sentiment Analysis Tools in Software Engineering: A Systematic Mapping Study
by: Obaidi, Martin, et al.
Published: (2025)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

Executable Multi-Layered Software
by: Radosky, Lukas, et al.
Published: (2025)

Cost-Efficient Prompt Engineering for Unsupervised Entity Resolution
by: Nananukul, Navapat, et al.
Published: (2023)

PyTrim: A Practical Tool for Reducing Python Dependency Bloat
by: Karakatsanis, Konstantinos, et al.
Published: (2025)

Toward Effective PBFT Consensus Service under Software Aging in Dynamic Scenarios
by: Cai, Yujing, et al.
Published: (2025)