1 citations · 1 across the 2 of their papers we have counts for
4 papers
Specification-Based Testing of Large Language Models
Kausar Moshood, Jace Bolante, Roshan Aditya Murali +1
Model cards, system cards, and safety reports increasingly document LLM safety behaviors, yet safety evaluations typically start from predefined benchmarks rather than asking which…
Kaizen: Metamorphic Fuzzing and Differential Testing for LLM-Translated HPC Applications
Oscar Ludwig, Ninad Anklesaria, Zheming Jin +7
Large language models (LLMs) are increasingly used to port scientific codes across heterogeneous high-performance computing (HPC) programming models, such as translating CUDA to Op…
High-Quality Automated Program Repair
Manish Motwani
Automatic program repair (APR) has recently gained attention because it proposes to fix software defects with no human intervention. To automatically fix defects, most APR tools us…
Better Automatic Program Repair by Using Bug Reports and Tests Together
Manish Motwani, Yuriy Brun
Automated program repair is already deployed in industry, but concerns remain about repair quality. Recent research has shown that one of the main reasons repair tools produce inco…