{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:38Z","timestamp":1750220438024,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"National Science Foundation","award":["1909688, 1901543, 1900716"],"award-info":[{"award-number":["1909688, 1901543, 1900716"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416638","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:39:02Z","timestamp":1611790742000},"page":"548-560","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["ChemTest"],"prefix":"10.1145","author":[{"given":"Michael C.","family":"Gerten","sequence":"first","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":"Titus H.","family":"Klinge","sequence":"additional","affiliation":[{"name":"Drake University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/3133904"},{"key":"e_1_3_2_1_2_1","volume-title":"Robust Detection in Leak-Prone Population Protocols. (09","author":"Alistarh Dan","year":"2017","unstructured":"Dan Alistarh, Bart\u0142omiej Dudek, Adrian Kosowski, David Soloveichik, and Przemys\u0142aw Uzna\u0144ski. 2017. Robust Detection in Leak-Prone Population Protocols. (09 2017), 155--171."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/1062455.1062530"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/BF00282276"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/978-3-319-66799-7_15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/1373322"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3180155.3180164"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1021\/acssynbio.5b00275"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/3-540-17906-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/2970276.2970307"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/s11047-013-9393-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/3143561"},{"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.1038\/nnano.2015.195"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1038\/s41586-018-0289-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1007\/978-3-319-66799-7_13"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1109\/FOCS.2012.76"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1007\/978-3-642-10604-0_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3236024.3236057"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/3338906.3338972"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/2642937.2643007"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/3295740"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/3109453.3109456"},{"unstructured":"Martin Feinberg. 1979. Lectures On Chemical Reaction Networks. http:\/\/www.crnt.osu.edu\/LecturesOnReactionNetworks.","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1021\/jp806431b"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/2483760.2483773"},{"unstructured":"Jeremy Gunawardena. 2003. Chemical Reaction Network Theory for in-silico Biologists. http:\/\/www.jeremy-gunawardena.com\/papers\/crnt.pdf.","key":"e_1_3_2_1_27_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1109\/TSE.2003.1237171"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1126\/science.1202998"},{"key":"e_1_3_2_1_30_1","volume-title":"Three-Dimensional Structures Self-Assembled from DNA Bricks. Science 338, 6111","author":"Ke Yonggang","year":"2012","unstructured":"Yonggang Ke, Luvena L. Ong, William M. Shih, and Peng Yin. 2012. Three-Dimensional Structures Self-Assembled from DNA Bricks. Science 338, 6111 (2012), 1177--1183."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1145\/2967446.2967465"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1016\/j.tcs.2020.01.008"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_2_1_34_1","first-page":"165","article-title":"Probabilistic model checking for biology","volume":"36","author":"Kwiatkowska Marta","year":"2014","unstructured":"Marta Kwiatkowska and Chris Thachuk. 2014. Probabilistic model checking for biology. Software Systems Safety 36 (2014), 165--189.","journal-title":"Software Systems Safety"},{"unstructured":"Jefferey C. Lafarias (Ed.). 2010. The ultimate challenge : the 3x + 1 problem. American Mathematical Society.","key":"e_1_3_2_1_35_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1098\/rsif.2011.0800"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1016\/j.tcs.2015.06.033"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1109\/ICST.2019.00038"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 26th International Conference on DNA Computing and Molecular Programming (DNA","author":"Lathrop James I.","year":"2020","unstructured":"James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley. 2020. Population-induced phase transitions and the verification of chemical reaction networks. In Proceedings of the 26th International Conference on DNA Computing and Molecular Programming (DNA 2020). To appear."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1145\/2897676.2897678"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1145\/2635868.2635920"},{"volume-title":"version 9.5.0 (R2018b)","author":"MATLAB.","unstructured":"MATLAB. 2019. version 9.5.0 (R2018b). The MathWorks Inc., Natick, Massachusetts.","key":"e_1_3_2_1_42_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1145\/2001420.2001461"},{"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.1145\/3276530"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_46_1","DOI":"10.1098\/rsif.2008.0516.focus"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.1098\/rsif.2009.0072.focus"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1126\/science.1200520"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_49_1","DOI":"10.1098\/rsif.2010.0729"},{"key":"e_1_3_2_1_50_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_51_1","DOI":"10.1038\/nature04586"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_52_1","DOI":"10.5555\/3005729.3005738"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_53_1","DOI":"10.1007\/978-3-319-21999-8_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_54_1","DOI":"10.1109\/TSE.2016.2532875"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_55_1","DOI":"10.1145\/1321631.1321679"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_56_1","DOI":"10.1038\/scientificamerican0506-44"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_57_1","DOI":"10.1145\/3293882.3330568"},{"key":"e_1_3_2_1_58_1","volume-title":"Nanotechnology: Molecular robots on the move. Nature 465, 7295","author":"Smith Lloyd M.","year":"2010","unstructured":"Lloyd M. Smith. 2010. Nanotechnology: Molecular robots on the move. Nature 465, 7295 (2010), 167--168."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_59_1","DOI":"10.1007\/s11047-007-9036-x"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_60_1","DOI":"10.1007\/s11047-008-9067-y"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_61_1","DOI":"10.1007\/978-3-642-03076-5_6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_62_1","DOI":"10.1145\/3238147.3238224"},{"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_63_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_64_1","DOI":"10.1073\/pnas.1715926115"}],"event":{"sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"acronym":"ASE '20","name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","location":"Virtual Event Australia"},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416638","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416638","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:22Z","timestamp":1750193242000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416638"}},"subtitle":["an automated software testing framework for an emerging paradigm"],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":64,"alternative-id":["10.1145\/3324884.3416638","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416638","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}