Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge. Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022. pages 1193-1205, IEEE, 2022. [doi]
Abstract is missing.