Evaluation artifact for the Modelizer framework described in "Learning Program Behavioral Models from Synthesized Input-Output Pairs"

This package contains the evaluation artifact for Modelizer - a framework for learning models from BlackBox systems using Input-Output examples. It consists of the following zip archives: train.zip: synthetic data used for the model training test.zip: synthetic and extracted real data used for the model evaluation eval.zip: evaluation results (experiment results and notebooks with the analysis of the results) models.zip: all the models that were trained during the experiments You can find the framework implementation and usage instructions at https://github.com/2ral/Modelizer For the revised version, please refer to https://zenodo.org/records/15041168