conftrace_

software verification

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

network function (2) symbolic execution (2) constraint solving (2) automated proof (1) proof generation (1) large language model (1) automated test generation (1) finite domain solving (1) array constraint (1) dns security (1)

Papers

Selene: Pioneering Automated Proof in Software Verification ACL 2024 SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers NSDI 2022 Alembic: Automated Model Inference for Stateful Network Functions NSDI 2019 Performance Contracts for Software Network Functions NSDI 2019 Efficient and Complete FD-solving for extended array constraints IJCAI 2017