Improving counterexample generation - Githubissues

hbgit / Map2Check

Map2Check: Finding Software Vulnerabilities

https://map2check.github.io

GNU General Public License v2.0

27 stars 9 forks source link

Improving counterexample generation #12

Open hbgit opened 5 years ago

hbgit commented 5 years ago

[ ] Identify failures
[ ] Fix bugs on counterexample generation
[ ] Propose a method to simplify the counterexample size
[ ] Coding a method to simplify the counterexample size