conftrace_

mutation testing

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

spec testing (1) sanity checking (1) specification bug (1) program generator (1) compiler testing (1) program generation (1) formal specification (1) adversarial defense (1) backdoor attack (1) malware detection (1)

Papers

Localizing Malicious Outputs from CodeLLM EMNLP 2025 IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024 Revisiting the Evaluation of Deep Learning-Based Compiler Testing IJCAI 2023