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
Colepp: uma ferramenta multiplataforma para coleta de dados de dispositivos vestiveis
R.I.P.
👻
Ghosted
Enhancing Code Review through Fuzzing and Likely Invariants
R.I.P.
👻
Ghosted
Selecting and Combining Large Language Models for Scalable Code Clone Detection
R.I.P.
👻
Ghosted
Community Engagement and the Lifespan of Open-Source Software Projects
R.I.P.
👻
Ghosted
Repairing Tool Calls Using Post-tool Execution Reflection and RAG
R.I.P.
👻
Ghosted
Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
R.I.P.
👻
Ghosted
Instruction Set Migration at Warehouse Scale
R.I.P.
👻
Ghosted
Leveraging Code Cohesion Analysis to Identify Source Code Supply Chain Attacks
R.I.P.
👻
Ghosted
Requirement Identification for Traffic Simulations in Driving Simulators
R.I.P.
👻
Ghosted
ATGen: Adversarial Reinforcement Learning for Test Case Generation
R.I.P.
👻
Ghosted
Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
R.I.P.
👻
Ghosted
Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
R.I.P.
👻
Ghosted
PathFix: Automated Program Repair with Expected Path
R.I.P.
👻
Ghosted
Caruca: Effective and Efficient Specification Mining for Opaque Software Components
R.I.P.
👻
Ghosted
Automated Snippet-Alignment Data Augmentation for Code Translation
R.I.P.
👻
Ghosted
Smart Contracts Formal Verification: A Systematic Literature Review
R.I.P.
👻
Ghosted
One Bug, Hundreds Behind: LLMs for Large-Scale Bug Discovery
R.I.P.
👻
Ghosted
Signature in Code Backdoor Detection, how far are we?
R.I.P.
👻
Ghosted
Property Testing for Ocean Models. Can We Specify It? (Invited Talk)
R.I.P.
👻
Ghosted
Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code
R.I.P.
👻
Ghosted
Verifying a Sparse Matrix Algorithm Using Symbolic Execution
R.I.P.
👻
Ghosted
Towards Richer Challenge Problems for Scientific Computing Correctness
R.I.P.
👻
Ghosted