conftrace_

sanity checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

mutation testing (1) spec testing (1) specification bug (1) formal specification (1)

Papers

IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024