Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
Nikitha Rao, Elizabeth Gilbert, Harrison Green +4
Differential testing can be an effective way to find bugs in software systems with multiple implementations that conform to the same specification, like compilers, network protocol…
cs.SE2023
CAT-LM: Training Language Models on Aligned Code And Tests
Nikitha Rao, Kush Jain, Uri Alon +2
Testing is an integral part of the software development process. Yet, writing tests is time-consuming and therefore often neglected. Classical test generation tools such as EvoSuit…