💀 The Wall of Shame

The most cited papers with no code. Sorted by the weight of their sins.

Page 6, showing 50 papers

# Paper Cause of Death Category Citations Published
251 A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, ... (+2 more)
🌅 Old Age cs.SE 5 2 years ago
252 AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, ... (+2 more)
🌅 Old Age cs.SE 5 2 years ago
253 Collaboration is all you need: LLM Assisted Safe Code Translation
Rabimba Karanjai, Sam Blackshear, ... (+2 more)
👻 Ghosted cs.AI 5 1 year ago
254 NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS
Xi Zheng, Ziyang Li, ... (+3 more)
👻 Ghosted cs.SE 5 1 year ago
255 The Evolution of Information Seeking in Software Development: Understanding the Role and Impact of AI Assistants
Ebtesam Al Haque, Chris Brown, ... (+2 more)
👻 Ghosted cs.SE 5 1 year ago
256 PRF: A Framework for Building Automatic Program Repair Prototypes for JVM-Based Languages
Ali Ghanbari, Andrian Marcus
👻 Ghosted cs.SE 5 5 years ago
257 A Fine-Grained Approach for Automated Conversion of JUnit Assertions to English
Danielle Gonzalez, Suzanne Prentice, Mehdi Mirakhorli
👻 Ghosted cs.SE 5 7 years ago
258 Cherry-Picking of Code Commits in Long-Running, Multi-release Software
Panuchart Bunyakiati, Chadarat Phipathananunth
👻 Ghosted cs.SE 5 8 years ago
259 QCSHQD: Quantum computing as a service for Hybrid classical-quantum software development: A Vision
Maryam Tavassoli Sabzevari, Matteo Esposito, ... (+2 more)
👻 Ghosted cs.SE 5 2 years ago
260 MASC: A Tool for Mutation-Based Evaluation of Static Crypto-API Misuse Detectors
Amit Seal Ami, Syed Yusuf Ahmed, ... (+6 more)
👻 Ghosted cs.CR 5 2 years ago
261 MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, ... (+5 more)
👻 Ghosted cs.SE 5 2 years ago
262 Knowledge-Based Version Incompatibility Detection for Deep Learning
Zhongkai Zhao, Bonan Kou, ... (+3 more)
👻 Ghosted cs.SE 5 2 years ago
263 ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
Adam Tornhill, Markus Borg, ... (+2 more)
👻 Ghosted cs.SE 4 11 months ago
264 Facilitating Trustworthy Human-Agent Collaboration in LLM-based Multi-Agent System oriented Software Engineering
Krishna Ronanki
👻 Ghosted cs.SE 4 1 year ago
265 Outage-Watch: Early Prediction of Outages using Extreme Event Regularizer
Shubham Agarwal, Sarthak Chakraborty, ... (+5 more)
👻 Ghosted cs.DC 4 2 years ago
266 Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Yicheng Luo, Antonio Filieri, Yuan Zhou
👻 Ghosted cs.LG 4 5 years ago
267 Bounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling
Felipe R. Monteiro
👻 Ghosted cs.SE 4 9 years ago
268 A Vision on Open Science for the Evolution of Software Engineering Research and Practice
Edson OliveiraJr, Fernanda Madeiral, ... (+3 more)
👻 Ghosted cs.SE 4 2 years ago
269 Paths to Testing: Why Women Enter and Remain in Software Testing?
Kleice Silva, Ann Barcomb, Ronnie de Souza Santos
👻 Ghosted cs.SE 4 2 years ago
270 AndroLog: Android Instrumentation and Code Coverage Analysis
Jordan Samhi, Andreas Zeller
👻 Ghosted cs.SE 4 2 years ago
271 Towards Understanding Emotions in Informal Developer Interactions: A Gitter Chat Study
Amirali Sajadi, Kostadin Damevski, Preetha Chatterjee
👻 Ghosted cs.SE 4 2 years ago
272 Dynamic Prediction of Delays in Software Projects using Delay Patterns and Bayesian Modeling
Elvan Kula, Eric Greuter, ... (+2 more)
👻 Ghosted cs.SE 4 2 years ago
273 Lessons from the Long Tail: Analysing Unsafe Dependency Updates across Software Ecosystems
Supatsara Wattanakriengkrai, Raula Gaikovina Kula, ... (+2 more)
👻 Ghosted cs.SE 4 2 years ago
274 Contextual Predictive Mutation Testing
Kush Jain, Uri Alon, ... (+2 more)
👻 Ghosted cs.SE 4 2 years ago
275 npm-follower: A Complete Dataset Tracking the NPM Ecosystem
Donald Pinckney, Federico Cassano, ... (+2 more)
👻 Ghosted cs.SE 4 2 years ago
276 Putting Them under Microscope: A Fine-Grained Approach for Detecting Redundant Test Cases in Natural Language
Zhiyuan Chang, Mingyang Li, ... (+3 more)
👻 Ghosted cs.SE 4 3 years ago
277 Testing of Machine Learning Models with Limited Samples: An Industrial Vacuum Pumping Application
Ayan Chatterjee, Bestoun S. Ahmed, ... (+2 more)
👻 Ghosted cs.SE 4 3 years ago
278 How do Software Engineering Candidates Prepare for Technical Interviews?
Brian Bell, Teresa Thomas, ... (+2 more)
👻 Ghosted cs.SE 3 11 months ago
279 Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
Mark Harman, Peter O'Hearn, Shubho Sengupta
👻 Ghosted cs.SE 3 1 year ago
280 Risk Assessment Framework for Code LLMs via Leveraging Internal States
Yuheng Huang, Lei Ma, ... (+2 more)
👻 Ghosted cs.SE 3 1 year ago
281 Enhancing Code LLM Training with Programmer Attention
Yifan Zhang, Chen Huang, ... (+4 more)
👻 Ghosted cs.SE 3 1 year ago
282 Augmenting Software Bills of Materials with Software Vulnerability Description: A Preliminary Study on GitHub
Davide Fucci, Massimiliano Di Penta, ... (+2 more)
👻 Ghosted cs.SE 3 1 year ago
283 The Road to Hybrid Quantum Programs: Characterizing the Evolution from Classical to Hybrid Quantum Software
Vincenzo De Maio, Ivona Brandic, ... (+2 more)
👻 Ghosted cs.SE 3 1 year ago
284 Exploratory Test Agents for Stateful Software Systems
Stefan Karlsson
👻 Ghosted cs.SE 3 6 years ago
285 LLM App Squatting and Cloning
Yinglin Xie, Xinyi Hou, ... (+3 more)
👻 Ghosted cs.AI 3 1 year ago
286 PlayTest: A Gamified Test Generator for Games
Patric Feldmeier, Philipp Straubinger, Gordon Fraser
👻 Ghosted cs.SE 3 2 years ago
287 State Merging with Quantifiers in Symbolic Execution
David Trabish, Noam Rinetzky, ... (+2 more)
👻 Ghosted cs.SE 3 2 years ago
288 On-the-Fly Syntax Highlighting using Neural Networks
Marco Edoardo Palma, Pasquale Salza, Harald C. Gall
👻 Ghosted cs.SE 3 3 years ago
289 Sojourner under Sabotage: A Serious Testing and Debugging Game
Philipp Straubinger, Tim Greller, Gordon Fraser
👻 Ghosted cs.SE 2 1 year ago
290 When Should I Run My Application Benchmark?: Studying Cloud Performance Variability for the Case of Stream Processing Applications
Sören Henning, Adriano Vogel, ... (+3 more)
👻 Ghosted cs.SE 2 1 year ago
291 TickIt: Leveraging Large Language Models for Automated Ticket Escalation
Fengrui Liu, Xiao He, ... (+7 more)
👻 Ghosted cs.SE 2 1 year ago
292 Introducing Repository Stability
Giuseppe Destefanis, Silvia Bartolucci, ... (+3 more)
👻 Ghosted cs.SE 2 1 year ago
293 Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis
Lyuye Zhang, Chengwei Liu, ... (+6 more)
👻 Ghosted cs.SE 2 1 year ago
294 LLPut: Investigating Large Language Models for Bug Report-Based Input Generation
Alif Al Hasan, Subarna Saha, ... (+2 more)
👻 Ghosted cs.SE 2 1 year ago
295 Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization
Duc S. H. Nguyen, Bach G. Truong, ... (+3 more)
👻 Ghosted cs.SE 2 1 year ago
296 Causal Models in Requirement Specifications for Machine Learning: A vision
Hans-Martin Heyn, Yufei Mao, ... (+2 more)
👻 Ghosted cs.SE 2 1 year ago
297 Model Checking a C++ Software Framework, a Case Study
John Lång, I. S. W. B. Prasetya
👻 Ghosted cs.SE 2 6 years ago
298 LicenseGPT: A Fine-tuned Foundation Model for Publicly Available Dataset License Compliance
Jingwen Tan, Gopi Krishnan Rajbahadur, ... (+6 more)
👻 Ghosted cs.SE 2 1 year ago
299 Dirty-Waters: Detecting Software Supply Chain Smells
Raphina Liu, Sofia Bobadilla, ... (+2 more)
👻 Ghosted cs.SE 2 1 year ago
300 Combating Missed Recalls in E-commerce Search: A CoT-Prompting Testing Approach
Shengnan Wu, Yongxiang Hu, ... (+7 more)
👻 Ghosted cs.SE 2 1 year ago