Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Boosting LLMs for Mutation Generation
Bo Wang, Ming Deng, Mingda Chen +5
LLM-based mutation testing is a promising testing technology, but existing approaches typically rely on a fixed set of mutations as few-shot examples or none at all. This can resul…
cs.SE2024
PTE: Axiomatic Semantics based Compiler Testing
Guoliang Dong, Jun Sun, Richard Schumi +2
The correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods h…