Inference and Test Generation Using Program Invariants in Chemical Reaction Networks Artifacts

The artifacts for Inference and Test Generation Using Program Invariants in Chemical Reaction Networks, published at ICSE 2022. The pdf of the paper can be accessed at IEEEXplore. To cite this work, please use the citation below: @INPROCEEDINGS{GertenICSE22, author={Gerten, Michael C. and Marsh, Alexis L. and Lathrop, James I. and Cohen, Myra B. and Miner, Andrew S. and Klinge, Titus H.}, booktitle={2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)}, title={Inference and Test Generation Using Program Invariants in Chemical Reaction Networks}, month={May}, year={2022}, pages={1193-1205}, doi={10.1145/3510003.3510176}} The artifacts are also available on GitHub. This is an updated version of the ChemFlow tool. The update addressed an overflow error when computing gaussian elimination that could result in incorrect invariants with certain model inputs. After verification, all models in this work were not affected by this bug and have the same set of invariants generated by both versions. We have updated the docker file to use the new code as well.