csvan/keytestgen
KeYTestGen is an automated test case generation for JavaCard, based on symbolic execution.
Java
Issues
- 0
KeYInterface disregards preconditions
#1 opened by csvan
KeYTestGen is an automated test case generation for JavaCard, based on symbolic execution.
Java