3 papers
cs.SE2026
SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
Boxi Yu, Yang Cao, Yuzhong Zhang +9
The SWE-Bench Verified leaderboard is approaching saturation, with the top system achieving 78.80%. However, we show that this performance is inflated. Our re-evaluation reveals th…
cs.SE2026
A Structured Approach to Safety Case Construction for AI Systems
Sung Une Lee, Liming Zhu, Md Shamsujjoha +4
Safety cases, structured arguments that a system is acceptably safe, are becoming central to the governance of AI systems. Yet, traditional safety-case practices from aviation or n…
cs.SE2025
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
Jaekwon Lee, Fabrizio Pastore, Lionel Briand
Mutation testing can help minimize the delivery of faulty software. Therefore, it is a recommended practice for developing embedded software in safety-critical cyber-physical syste…