hbgit/jfortes
JFORTES (Java FORmal unit TESt generation)
Discovered public repositories for hbgit in the GitHub catalog.
JFORTES (Java FORmal unit TESt generation)
This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identified error. Such method may be seen as a complementary technique for the verification performed by Bounded Model Checkers.
This tool aims to automate the FORTES method that aims to automate to extract the safety properties from C code generated by ESBMC to generate automatically testcases using the assertions, in this case adopting the CUnit Framework Unit Test.