{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:04Z","timestamp":1750220104490,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"funder":[{"name":"NSF","award":["CCF 1909688, FET 1900716"],"award-info":[{"award-number":["CCF 1909688, FET 1900716"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510176","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"1193-1205","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Inference and test generation using program invariants in chemical reaction networks"],"prefix":"10.1145","author":[{"given":"Michael C.","family":"Gerten","sequence":"first","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexis L.","family":"Marsh","sequence":"additional","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James I.","family":"Lathrop","sequence":"additional","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew S.","family":"Miner","sequence":"additional","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Titus H.","family":"Klinge","sequence":"additional","affiliation":[{"name":"Iowa State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1038\/nature07971"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1062455.1062530"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1038\/nbt.4163"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/978-3-319-66799-7_15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1080\/00207540412331312688"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/TSE.2014.2369047"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_8_1","volume-title":"BioBrick Public DNA Parts","author":"BioBricks","year":"2021","unstructured":"BioBricks Foundation 2021. BioBrick Public DNA Parts. BioBricks Foundation. Last Accessed: August 2021."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/s11047-018-9723-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/s11047-017-9667-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/s10664-021-09940-0"},{"volume-title":"Speed Faults in Computation by Chemical Reaction Networks","author":"Chen Ho-Lin","unstructured":"Ho-Lin Chen, Rachel Cummings, David Doty, and David Soloveichik. 2014. Speed Faults in Computation by Chemical Reaction Networks. In Distributed Computing, Fabian Kuhn (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 16--30.","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1038\/nnano.2013.189"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1016\/0166-5316(95)00008-L"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1007\/978-3-540-88869-7_27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/1368088.1368127"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1126\/science.1214081"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3295740"},{"volume-title":"Foundations of chemical reaction network theory","author":"Feinberg Martin","unstructured":"Martin Feinberg. 2019. Foundations of chemical reaction network theory. Springer.","key":"e_1_3_2_1_19_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/3324884.3416638"},{"volume-title":"Soft Computing: Theories and Applications","author":"Gupta Sakshi","unstructured":"Sakshi Gupta, Sunita Kumawat, and Gajendra Pratap Singh. 2022. Validation and Analysis of Metabolic Pathways Using Petri Nets. In Soft Computing: Theories and Applications. Springer, 361--374.","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1038\/nbt.1672"},{"key":"e_1_3_2_1_23_1","volume-title":"Registry of Standard Biological Parts. iGEM Foundation","author":"GEM","year":"2021","unstructured":"iGEM Registry 2021. Registry of Standard Biological Parts. iGEM Foundation. Last Accessed: August 2021."},{"unstructured":"International Society for Nanoscale Science 2021. International Society for Nanoscale Science Computation and Engineering (ISNSCE). https:\/\/isnsce.org\/ Accessed on 2021-09-09.","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.5555\/2141100"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1016\/j.chempr.2020.10.025"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1038\/nbt.3956"},{"key":"e_1_3_2_1_28_1","volume-title":"KEGG: kyoto encyclopedia of genes and genomes. Nucleic acids research 28, 1","author":"Kanehisa Minoru","year":"2000","unstructured":"Minoru Kanehisa and Susumu Goto. 2000. KEGG: kyoto encyclopedia of genes and genomes. Nucleic acids research 28, 1 (2000), 27--30."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1016\/S0022-0000(69)80011-5"},{"unstructured":"KBase 2021. The Department of Energy Systems Biology Knowledgebase. http:\/\/kbase.us.","key":"e_1_3_2_1_30_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.4230\/LIPIcs.DNA.2020.6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1109\/ALLERTON.2010.5707120"},{"volume-title":"Software Systems Safety","author":"Kwiatkowska Marta","unstructured":"Marta Kwiatkowska and Chris Thachuk. 2014. Probabilistic model checking for biology. In Software Systems Safety. IOS Press, 165--189.","key":"e_1_3_2_1_33_1"},{"unstructured":"Jefferey C. Lafarias (Ed.). 2010. The ultimate challenge : the 3x + 1 problem. American Mathematical Society.","key":"e_1_3_2_1_34_1"},{"unstructured":"James I. Lathrop Titus H. Klinge and Bryce Valley. 2021. personal communication.","key":"e_1_3_2_1_35_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.4230\/LIPIcs.DNA.2020.5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1145\/2491411.2491457"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1145\/1639950.1639999"},{"unstructured":"Matlab-Simbiology User Forum 2020. MATLAB Forum Question on Testing CRNs. https:\/\/www.mathworks.com\/matlabcentral\/answers\/593965--unit-testing-on-simbiology-created-model?s_tid=srchtitle_simbiology_53.","key":"e_1_3_2_1_39_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1109\/GI52543.2021.00014"},{"key":"e_1_3_2_1_41_1","first-page":"4","article-title":"Petri Nets","volume":"77","author":"Murata Tadao","year":"1989","unstructured":"Tadao Murata. 1989. Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77, 4 (April 1989), 541--580.","journal-title":"Properties, Analysis and Applications. Proc. IEEE"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1145\/2001420.2001461"},{"volume-title":"National Center for Biotechnology Information (NCBI)","author":"NCBI","unstructured":"NCBI 2021. National Center for Biotechnology Information (NCBI), National Library of Medicine (US), National Center for Biotechnology Information. https:\/\/www.ncbi.nlm.nih.gov\/.","key":"e_1_3_2_1_43_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_44_1","DOI":"10.1145\/62959.62964"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_45_1","DOI":"10.1098\/rsif.2008.0516.focus"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_46_1","DOI":"10.1145\/1029894.1029901"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.4249\/scholarpedia.6477"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1101\/2020.08.02.233478"},{"key":"e_1_3_2_1_49_1","volume-title":"Neural network computation with DNA strand displacement cascades. Nature 475, 7356","author":"Qian Lulu","year":"2011","unstructured":"Lulu Qian, Erik Winfree, and Jehoshua Bruck. 2011. Neural network computation with DNA strand displacement cascades. Nature 475, 7356 (2011), 368--372."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_50_1","DOI":"10.1007\/3-540-65306-6_19"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_51_1","DOI":"10.1007\/978-3-642-03076-5_6"},{"unstructured":"The Mathworks Inc. 2021. MATLAB version 9.10.0.1613233 (R2021a). The Mathworks Inc. Natick Massachusetts.","key":"e_1_3_2_1_52_1"},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of the 37th International Conference on Machine Learning (Proceedings of Machine Learning Research","author":"Vasic Marko","year":"2020","unstructured":"Marko Vasic, Cameron Chalk, Sarfraz Khurshid, and David Soloveichik. 2020. Deep Molecular Programming: A Natural Implementation of Binary-Weight ReLU Neural Networks. In Proceedings of the 37th International Conference on Machine Learning (Proceedings of Machine Learning Research, Vol. 119), Hal Daum\u00e9 III and Aarti Singh (Eds.). PMLR, 9701--9711. https:\/\/proceedings.mlr.press\/v119\/vasic20a.html"},{"volume-title":"Molecular Programming Language","author":"Vasic Marko","unstructured":"Marko Vasic, David Soloveichik, and Sarfraz Khurshid. 2018. CRN++: Molecular Programming Language. In DNA Computing and Molecular Programming, David Doty and Hendrik Dietz (Eds.). Springer International Publishing, 1--18.","key":"e_1_3_2_1_54_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_55_1","DOI":"10.4230\/LIPIcs.DNA.2020.4"},{"volume-title":"Chemical Reaction Networks and Stochastic Local Search","author":"Winfree Erik","unstructured":"Erik Winfree. 2019. Chemical Reaction Networks and Stochastic Local Search. In DNA Computing and Molecular Programming, Chris Thachuk and Yan Liu (Eds.). Springer International Publishing, Cham, 1--20.","key":"e_1_3_2_1_56_1"},{"volume-title":"Application and Theory of Petri Nets and Concurrency, Victor Khomenko and Olivier H","author":"Wolf Karsten","unstructured":"Karsten Wolf. 2018. Petri Net Model Checking with LoLA 2. In Application and Theory of Petri Nets and Concurrency, Victor Khomenko and Olivier H. Roux (Eds.). Springer International Publishing, Cham, 351--362.","key":"e_1_3_2_1_57_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_58_1","DOI":"10.1145\/2610384.2610389"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"acronym":"ICSE '22","name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania"},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510176","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510176","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:25Z","timestamp":1750183825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":58,"alternative-id":["10.1145\/3510003.3510176","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510176","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}