4 ms·

Awesome-Fuzzing

• rurban 9y ago
  All the symbolic test generating and model checkers are missing: cbmc, klee, spin, slam, prism, frama-c, ..., whilst some random solver backends are cited. Better than random fuzzing and more awesome.