Frama-C-Mutation

Generation of mutant programs

Archived

GitHub
21 stars
2 watching
0 forks
Language: OCaml
last commit: about 6 years ago
Linked from 1 awesome list

acslframa-c

Backlinks from these awesome lists: