Image de couverture de livre

Caruca: Effective and Efficient Specification Mining for Opaque Software Components

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lamprou, Evangelos, Jung, Seong-Heon, Keoliya, Mayank, Lazarek, Lukas, Kallas, Konstantinos, Greenberg, Michael, Vasilakis, Nikos
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Evaluating the Generalization Capabilities of Large Language Models on Code Reasoning
par: Yang, Rem, et autres
Publié: (2025)

How Effective are Large Language Models in Generating Software Specifications?
par: Xie, Danning, et autres
Publié: (2023)

Teaching Mining Software Repositories
par: Codabux, Zadia, et autres
Publié: (2025)

When Are Reactive Notebooks Not Reactive?
par: Zheng, Megan, et autres
Publié: (2025)

A Methodological Framework for LLM-Based Mining of Software Repositories
par: De Martino, Vincenzo, et autres
Publié: (2025)

The Rise of Language Models in Mining Software Repositories: A Survey
par: Romero-Arjona, Miguel, et autres
Publié: (2026)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
par: Liu, Ye, et autres
Publié: (2024)

Mining Q&A Platforms for Empirical Evidence on Quantum Software Programming
par: Khan, Arif Ali, et autres
Publié: (2025)

Logic Mining from Process Logs: Towards Automated Specification and Verification
par: Klimek, Radoslaw, et autres
Publié: (2025)

Mining Software Repositories for Expert Recommendation
par: Marshall, Chad, et autres
Publié: (2025)

An Effective Software Risk Prediction Management Analysis of Data Using Machine Learning and Data Mining Method
par: Xu, Jinxin, et autres
Publié: (2024)

Effective Delegation and Leadership in Software Management
par: Mirkhan, Star Dawood, et autres
Publié: (2024)

A Framework for Using LLMs for Repository Mining Studies in Empirical Software Engineering
par: de Martino, Vincenzo, et autres
Publié: (2024)

Privacy by Design: Aligning GDPR and Software Engineering Specifications with a Requirements Engineering Approach
par: Kosenkov, Oleksandr, et autres
Publié: (2025)

An Interactive Empirical Approach to the Validation of Software Package Specifications
par: Fraser, S. D., et autres
Publié: (2024)

Characterising Developer Sentiment in Software Components: An Exploratory Study of Gentoo
par: Tulili, Tien Rahayu, et autres
Publié: (2024)

Does the Tool Matter? Exploring Some Causes of Threats to Validity in Mining Software Repositories
par: Hoess, Nicole, et autres
Publié: (2025)

Dealing with SonarQube Cloud: Initial Results from a Mining Software Repository Study
par: Nocera, Sabato, et autres
Publié: (2025)

Exploring Individual Factors in the Adoption of LLMs for Specific Software Engineering Purposes
par: Lambiase, Stefano, et autres
Publié: (2025)

Visual Integration of Static and Dynamic Software Analysis in Code Reviews via Software City Visualization
par: Krause-Glau, Alexander, et autres
Publié: (2024)

Mining Quantum Software Patterns in Open-Source Projects
par: Ramalho, Neilson Carlos Leite, et autres
Publié: (2026)

Data Mining-Based Techniques for Software Fault Localization
par: Cellier, Peggy, et autres
Publié: (2025)

Component Based Systems: A Novel Methodology in Software Engineering
par: Usama Quadri Syed
Publié: (2019)

On the Effectiveness of Large Language Models in Domain-Specific Code Generation
par: Gu, Xiaodong, et autres
Publié: (2023)

Do Developers Adopt Green Architectural Tactics for ML-Enabled Systems? A Mining Software Repository Study
par: De Martino, Vincenzo, et autres
Publié: (2024)

Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks
par: Ke, Qiang, et autres
Publié: (2026)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
par: Barbie, Alexander, et autres
Publié: (2023)

An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
par: Ran, Dezhi, et autres
Publié: (2025)

Notes On Writing Effective Empirical Software Engineering Papers: An Opinionated Primer
par: Verdecchia, Roberto, et autres
Publié: (2025)

Implementing Effective Changes in Software Projects to Optimize Runtimes and Minimize Defects
par: Gupta, Kartik
Publié: (2025)

Integrating Large Language Models in Software Engineering Education: A Pilot Study through GitHub Repositories Mining
par: Khan, Maryam, et autres
Publié: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
par: Saravanos, Antonios, et autres
Publié: (2026)

Teaching Energy-Efficient Software -- An Experience Report
par: Christensen, Henrik Bærbak, et autres
Publié: (2025)

Sentiment Analysis Tools in Software Engineering: A Systematic Mapping Study
par: Obaidi, Martin, et autres
Publié: (2025)

Enhancing Formal Software Specification with Artificial Intelligence
par: Nassar, Antonio Abu, et autres
Publié: (2026)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
par: Zhu, Taohong, et autres
Publié: (2025)

Executable Multi-Layered Software
par: Radosky, Lukas, et autres
Publié: (2025)

Cost-Efficient Prompt Engineering for Unsupervised Entity Resolution
par: Nananukul, Navapat, et autres
Publié: (2023)

PyTrim: A Practical Tool for Reducing Python Dependency Bloat
par: Karakatsanis, Konstantinos, et autres
Publié: (2025)

Toward Effective PBFT Consensus Service under Software Aging in Dynamic Scenarios
par: Cai, Yujing, et autres
Publié: (2025)