ramsay-t/Athena
EFSM learning with guard and update function inference
Extended code coverage metrics for Erlang.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
EFSM learning with guard and update function inference
Interface and API to various state machine inference tools
Erlang mutation testing tool