R.I.P.
👻
Ghosted
🏛️ The Software Engineering Crypt
cs.SE: Where Software Engineering papers rest without their code.
16774
Total Papers
13410
No Code
294
Twilight
3070
Has Code
18.3%
Survival Rate
R.I.P.
👻
Ghosted
Augmenting the Generality and Performance of Large Language Models for Software Engineering
R.I.P.
👻
Ghosted
A Procedural Framework for Assessing the Desirability of Process Deviations
R.I.P.
👻
Ghosted
A Tale of Two Systems: Characterizing Architectural Complexity on Machine Learning-Enabled Systems
R.I.P.
👻
Ghosted
MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework
R.I.P.
👻
Ghosted
SELU: A Software Engineering Language Understanding Benchmark
R.I.P.
👻
Ghosted
Not One to Rule Them All: Mining Meaningful Code Review Orders From GitHub
R.I.P.
👻
Ghosted
Assessing a Safety Case: Bottom-up Guidance for Claims and Evidence Evaluation
R.I.P.
👻
Ghosted
Online Discovery of Simulation Models for Evolving Business Processes (Extended Version)
R.I.P.
👻
Ghosted
Towards Bridging Formal Methods and Human Interpretability
R.I.P.
👻
Ghosted
Translating a VDM Model of a Medical Device into Kapture
R.I.P.
👻
Ghosted
How Far Have LLMs Come Toward Automated SATD Taxonomy Construction?
R.I.P.
👻
Ghosted
Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
R.I.P.
👻
Ghosted
Formal Methods Meets Readability: Auto-Documenting JML Java Code
R.I.P.
👻
Ghosted
On The Impact of Merge Request Deviations on Code Review Practices
R.I.P.
👻
Ghosted
Causality-aware Safety Testing for Autonomous Driving Systems
R.I.P.
👻
Ghosted
Proceedings of the 23rd International Overture Workshop
R.I.P.
👻
Ghosted
Logic Mining from Process Logs: Towards Automated Specification and Verification
R.I.P.
👻
Ghosted
Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
R.I.P.
👻
Ghosted
MBTModelGenerator: Automated Reverse Engineering of Test Models from Clickstream Data for Model-Based Testing of Web Applications
R.I.P.
👻
Ghosted
Repeton: Structured Bug Repair with ReAct-Guided Patch-and-Test Cycles
R.I.P.
👻
Ghosted
Towards a Small Language Model Lifecycle Framework
R.I.P.
👻
Ghosted
Leveraging Network Methods for Hub-like Microservice Detection
R.I.P.
👻
Ghosted