%0 Conference Paper %1 conf/icse/GertenMLCMK22 %A Gerten, Michael C. %A Marsh, Alexis L. %A Lathrop, James I. %A Cohen, Myra B. %A Miner, Andrew S. %A Klinge, Titus H. %B ICSE %D 2022 %I ACM %K dblp %P 1193-1205 %T Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. %U http://dblp.uni-trier.de/db/conf/icse/icse2022.html#GertenMLCMK22 %@ 978-1-4503-9221-1

@inproceedings{conf/icse/GertenMLCMK22, added-at = {2022-06-23T00:00:00.000+0200}, author = {Gerten, Michael C. and Marsh, Alexis L. and Lathrop, James I. and Cohen, Myra B. and Miner, Andrew S. and Klinge, Titus H.}, biburl = {https://www.bibsonomy.org/bibtex/27ad0b626e1bfcfd7b97d11cb588dfa95/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2022}, ee = {https://doi.org/10.1145/3510003.3510176}, interhash = {b311e8c7b53a0c5b4391bbf66c4bd8ab}, intrahash = {7ad0b626e1bfcfd7b97d11cb588dfa95}, isbn = {978-1-4503-9221-1}, keywords = {dblp}, pages = {1193-1205}, publisher = {ACM}, timestamp = {2024-04-10T00:12:29.000+0200}, title = {Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2022.html#GertenMLCMK22}, year = 2022 }