Copertina

Caruca: Effective and Efficient Specification Mining for Opaque Software Components

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lamprou, Evangelos, Jung, Seong-Heon, Keoliya, Mayank, Lazarek, Lukas, Kallas, Konstantinos, Greenberg, Michael, Vasilakis, Nikos
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Teaching Mining Software Repositories
di: Codabux, Zadia, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Executable Multi-Layered Software
di: Radosky, Lukas, et al.
Pubblicazione: (2025)

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

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

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