3 citations · 5 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
LLM-based Code Auditing by Inferring and Evaluating Developer Assumptions
Junming Liu, Marcel Böhme
When we see a null pointer check, we know that the developer believes that the pointer may not be initialized. If the same pointer is later used without a null pointer check, we ma…
cs.SE2026
LLM-Based Agents for Identifying Bug-Introducing Commits
Niklas Risse, Marcel Böhme
Śliwerski, Zimmermann, and Zeller (SZZ) just won the 2026 ACM SIGSOFT Impact Award for asking: When do changes induce fixes? Their paper from 2005 served as the foundation for a wi…