Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
addClaim

fsm-repairability-study: Reproducible Protocol and Frozen Pilots for Behavioural FSM Repair Evaluation

Authors: Andrés, César;

fsm-repairability-study: Reproducible Protocol and Frozen Pilots for Behavioural FSM Repair Evaluation

Abstract

Experimental infrastructure and frozen pilot campaigns for evaluating oracle-gated behavioural repair of LLM-generated finite state machines. Includes JSON schemas, deterministic scoring and patch application, diagnostic projection, analysis scripts, Tier-A table and figure regeneration, tests, and three frozen 90-slot pilot arms (default, operation-aware, and operation-inferred repair representation) cited by the IST repairability protocol manuscript.

Powered by OpenAIRE graph
Found an issue? Give us feedback