hbgit/jfortes
JFORTES (Java FORmal unit TESt generation)
Public GitHub Catalog
Discovered Sep 25, 2026
hbgit / FORTES
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.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3630070GitHub System ID
hbgitOrganization / User
PublicVisibility
ActiveCatalog Status
More from hbgit
hbgit/EZProofC
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.