R.I.P.
👻
Ghosted
🏛️ The Software Engineering Crypt
cs.SE: Where Software Engineering papers rest without their code.
16677
Total Papers
13410
No Code
294
Twilight
2973
Has Code
17.8%
Survival Rate
R.I.P.
👻
Ghosted
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
R.I.P.
👻
Ghosted
Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods
R.I.P.
👻
Ghosted
DMAS-Forge: A Framework for Transparent Deployment of AI Applications as Distributed Systems
R.I.P.
👻
Ghosted
Task-Aware Reduction for Scalable LLM-Database Systems
R.I.P.
👻
Ghosted
CodeWatcher: IDE Telemetry Data Extraction Tool for Understanding Coding Interactions with LLMs
R.I.P.
👻
Ghosted
Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs
R.I.P.
👻
Ghosted
Project-Level C-to-Rust Translation via Synergistic Integration of Knowledge Graphs and Large Language Models
R.I.P.
👻
Ghosted
Software Defect Prediction using Autoencoder Transformer Model
R.I.P.
👻
Ghosted
Agentic RAG for Software Testing with Hybrid Vector-Graph and Multi-Agent Orchestration
R.I.P.
👻
Ghosted
Understanding and Bridging the Planner-Coder Gap: A Systematic Study on the Robustness of Multi-Agent Systems for Code Generation
R.I.P.
👻
Ghosted
A Model-Driven Engineering Approach to AI-Powered Healthcare Platforms
R.I.P.
👻
Ghosted
A Semantic Framework for Patient Digital Twins in Chronic Care
R.I.P.
👻
Ghosted
Constraint-Guided Unit Test Generation for Machine Learning Libraries
R.I.P.
👻
Ghosted
Saving SWE-Bench: A Benchmark Mutation Approach for Realistic Agent Evaluation
R.I.P.
👻
Ghosted
Towards a Taxonomy of Sustainability Requirements for Software Design
R.I.P.
👻
Ghosted
RA-Gen: A Controllable Code Generation Framework Using ReAct for Multi-Agent Task Execution
R.I.P.
👻
Ghosted
Past, Present, and Future of Bug Tracking in the Generative AI Era
R.I.P.
👻
Ghosted
Bug Histories as Sources of Compiler Fuzzing Mutators
R.I.P.
👻
Ghosted
Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
R.I.P.
👻
Ghosted
Secure-Instruct: An Automated Pipeline for Synthesizing Instruction-Tuning Datasets Using LLMs for Secure Code Generation
R.I.P.
👻
Ghosted
An empirical study on declined proposals: why are these proposals declined?
R.I.P.
👻
Ghosted
Beyond More Context: How Granularity and Order Drive Code Completion Quality
R.I.P.
👻
Ghosted