2 papers
cs.SE2026
VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
Zichen Xie, Mrigank Pawagi, Yuxin Liu +5
Large language models can generate useful code from natural language, but their outputs come without correctness guarantees. Verifiable code generation offers a path beyond testing…
cs.SE2024
IRJIT: A Simple, Online, Information Retrieval Approach for Just-In-Time Software Defect Prediction
Hareem Sahar, Abdul Ali Bangash, Abram Hindle +1
Just-in-Time software defect prediction (JIT-SDP) prevents the introduction of defects into the software by identifying them at commit check-in time. Current software defect predic…