ShIOEnv: A Command Evaluation Environment for Grammar-Constrained Synthesis and Execution Behavior Modeling
This work introduces ShIOEnv, a Gymnasium-compatible Bash environment for synthesizing execution-annotated shell input traces and introduces grammar-constrained synthesis to generate syntactically valid arguments with high input irreducibility, which is estimated through self-ablative contrasts of execution artifacts.