R.I.P.
👻
Ghosted
🏛️ The Software Engineering Crypt
cs.SE: Where Software Engineering papers rest without their code.
16351
Total Papers
13410
No Code
294
Twilight
2647
Has Code
16.2%
Survival Rate
R.I.P.
👻
Ghosted
Towards Enabling Overture as a Platform for Formal Notation IDEs
R.I.P.
👻
Ghosted
Business Process Mining Approaches: A Relative Comparison
R.I.P.
👻
Ghosted
How do OSS projects change in number and size? A large-scale analysis to test a model of project growth
R.I.P.
👻
Ghosted
Semantic Service Substitution in Pervasive Environments
R.I.P.
👻
Ghosted
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
R.I.P.
👻
Ghosted
LLM as Runtime Error Handler: A Promising Pathway to Adaptive Self-Healing of Software Systems
R.I.P.
👻
Ghosted
Do Chase Your Tail! Missing Key Aspects Augmentation in Textual Vulnerability Descriptions of Long-tail Software through Feature Inference
R.I.P.
👻
Ghosted
Enhancing GUI Exploration Coverage of Android Apps with Deep Link-Integrated Monkey
R.I.P.
👻
Ghosted
ADC: Enhancing Function Calling Via Adversarial Datasets and Code Line-Level Feedback
R.I.P.
👻
Ghosted
RECOVER: Toward Requirements Generation from Stakeholders' Conversations
R.I.P.
👻
Ghosted
Predicting Lemmas in Generalization of IC3
R.I.P.
👻
Ghosted
Do LLMs generate test oracles that capture the actual or the expected program behaviour?
R.I.P.
👻
Ghosted
Demystifying Issues, Causes and Solutions in LLM Open-Source Projects
R.I.P.
👻
Ghosted
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
R.I.P.
👻
Ghosted
NaviQAte: Functionality-Guided Web Application Navigation
R.I.P.
👻
Ghosted
Confidence in Assurance 2.0 Cases
R.I.P.
👻
Ghosted
CONNECTOR: Enhancing the Traceability of Decentralized Bridge Applications via Automatic Cross-chain Transaction Association
R.I.P.
👻
Ghosted
tl;dr: Chill, y'all: AI Will Not Devour SE
R.I.P.
👻
Ghosted
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach
R.I.P.
👻
Ghosted
Ethics of Software Programming with Generative AI: Is Programming without Generative AI always radical?
R.I.P.
👻
Ghosted
A Large-Scale Study of Model Integration in ML-Enabled Software Systems
R.I.P.
👻
Ghosted
Unlocking the Power of Numbers: Log Compression via Numeric Token Parsing
R.I.P.
👻
Ghosted