KSeCo KSeCo, K Semantics Coverage, is a tool to collect coverage information for rules defined in a K semantics.