conftrace_

specification bug

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

mutation testing (1) spec testing (1) sanity checking (1) formal specification (1)

Papers

IronSpec: Increasing the Reliability of Formal Specifications OSDI 2024