{"id":"https://openalex.org/W4284674815","doi":"https://doi.org/10.1145/3510003.3510176","title":"Inference and test generation using program invariants in chemical reaction networks","display_name":"Inference and test generation using program invariants in chemical reaction networks","publication_year":2022,"publication_date":"2022-05-21","ids":{"openalex":"https://openalex.org/W4284674815","doi":"https://doi.org/10.1145/3510003.3510176"},"language":"en","primary_location":{"id":"doi:10.1145/3510003.3510176","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510003.3510176","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510176","source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510176","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032072064","display_name":"Michael C. Gerten","orcid":"https://orcid.org/0000-0002-5620-434X"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael C. Gerten","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046165262","display_name":"Alexis L. Marsh","orcid":"https://orcid.org/0000-0001-8350-704X"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexis L. Marsh","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001352332","display_name":"James I. Lathrop","orcid":"https://orcid.org/0000-0002-5467-5818"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James I. Lathrop","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020147981","display_name":"Myra B. Cohen","orcid":"https://orcid.org/0000-0003-2443-2425"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Myra B. Cohen","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037662686","display_name":"Andrew S. Miner","orcid":"https://orcid.org/0000-0002-7737-6888"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew S. Miner","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043303629","display_name":"Titus H. Klinge","orcid":"https://orcid.org/0000-0002-2297-6712"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Titus H. Klinge","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3172,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78678206,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1193","last_page":"1205"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.9828000068664551,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7628757953643799},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6989507079124451},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5655375123023987},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5477879643440247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4928167164325714},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.47259053587913513},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4520610570907593},{"id":"https://openalex.org/keywords/biological-data","display_name":"Biological data","score":0.4248446822166443},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.4171682894229889},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37872207164764404},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3516038656234741},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32285410165786743},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2716272175312042},{"id":"https://openalex.org/keywords/bioinformatics","display_name":"Bioinformatics","score":0.0940408706665039}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7628757953643799},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6989507079124451},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5655375123023987},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5477879643440247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4928167164325714},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.47259053587913513},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4520610570907593},{"id":"https://openalex.org/C201797286","wikidata":"https://www.wikidata.org/wiki/Q4914986","display_name":"Biological data","level":2,"score":0.4248446822166443},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.4171682894229889},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37872207164764404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3516038656234741},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32285410165786743},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2716272175312042},{"id":"https://openalex.org/C60644358","wikidata":"https://www.wikidata.org/wiki/Q128570","display_name":"Bioinformatics","level":1,"score":0.0940408706665039},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3510003.3510176","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510003.3510176","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510176","source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3510003.3510176","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3510003.3510176","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3510003.3510176","source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.47999998927116394}],"awards":[{"id":"https://openalex.org/G7525022733","display_name":null,"funder_award_id":"1900716","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7655562825","display_name":null,"funder_award_id":"1909688","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4284674815.pdf","grobid_xml":"https://content.openalex.org/works/W4284674815.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1567452221","https://openalex.org/W1621944155","https://openalex.org/W1971453974","https://openalex.org/W1976815031","https://openalex.org/W1990476699","https://openalex.org/W1992639336","https://openalex.org/W2013711971","https://openalex.org/W2036740020","https://openalex.org/W2070537549","https://openalex.org/W2070996046","https://openalex.org/W2072000086","https://openalex.org/W2078423317","https://openalex.org/W2100084634","https://openalex.org/W2103409481","https://openalex.org/W2106001218","https://openalex.org/W2128414769","https://openalex.org/W2146178292","https://openalex.org/W2150990363","https://openalex.org/W2158979830","https://openalex.org/W2169033535","https://openalex.org/W2223115626","https://openalex.org/W2240903249","https://openalex.org/W2294385208","https://openalex.org/W2555835184","https://openalex.org/W2747253451","https://openalex.org/W2764202526","https://openalex.org/W2772548386","https://openalex.org/W2859249641","https://openalex.org/W2899183469","https://openalex.org/W2911585371","https://openalex.org/W2913983906","https://openalex.org/W2963856490","https://openalex.org/W2964289871","https://openalex.org/W2965442502","https://openalex.org/W3046793639","https://openalex.org/W3090716233","https://openalex.org/W3091427932","https://openalex.org/W3091645626","https://openalex.org/W3104424379","https://openalex.org/W3123196080","https://openalex.org/W3139036121","https://openalex.org/W3177786053","https://openalex.org/W4244074832","https://openalex.org/W4401824482","https://openalex.org/W6815389321"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2961779879","https://openalex.org/W797688974","https://openalex.org/W2002978035","https://openalex.org/W2894572168"],"abstract_inverted_index":{"Chemical":[0],"reaction":[1],"networks":[2],"(CRNs)":[3],"are":[4,12,63,180],"an":[5,88,100],"emerging":[6],"distributed":[7],"computational":[8],"paradigm":[9],"where":[10],"programs":[11,50,126],"encoded":[13],"as":[14],"a":[15,35,43],"set":[16],"of":[17,97,137,171,176],"abstract":[18],"chemical":[19],"reactions.":[20,138],"CRNs":[21],"can":[22,79,107],"be":[23,80,109,188],"compiled":[24],"into":[25,73],"DNA":[26],"strands":[27],"which":[28,93],"perform":[29],"the":[30,142,158,177],"computations":[31],"in":[32,51],"vitro,":[33],"creating":[34],"foundation":[36],"for":[37,47,111],"intelligent":[38],"nanodevices.":[39],"Recent":[40],"research":[41],"proposed":[42],"software":[44],"testing":[45],"framework":[46],"stochastic":[48],"CRN":[49,102,125],"simulation,":[52],"however,":[53],"it":[54],"relies":[55],"on":[56],"existing":[57,101],"program":[58,118],"specifications.":[59],"In":[60,83,157],"practice,":[61],"specifications":[62],"often":[64,149],"lacking":[65],"and":[66,78,148,166],"when":[67],"they":[68,167],"do":[69],"exist,":[70],"transforming":[71],"them":[72],"test":[74,112],"cases":[75],"is":[76],"time-intensive":[77],"error":[81],"prone.":[82],"this":[84],"work,":[85],"we":[86,161,186],"propose":[87],"inference":[89],"technique":[90],"called":[91],"ChemFlow":[92,122,192],"extracts":[94],"3":[95],"types":[96],"invariants":[98,106,143,163],"from":[99,128],"model.":[103],"The":[104],"extracted":[105],"then":[108],"used":[110],"generation":[113],"or":[114,183],"model":[115,178,195],"validation":[116],"against":[117],"implementations.":[119],"We":[120,139],"applied":[121],"to":[123,131,164,174,190,193],"13":[124],"ranging":[127],"toy":[129],"examples":[130],"real":[132],"biological":[133,159],"models":[134,160],"with":[135],"hundreds":[136],"find":[140],"that":[141,169,179],"provide":[144],"strong":[145],"fault":[146],"detection":[147],"exhibit":[150],"less":[151],"flakiness":[152],"than":[153],"specification":[154],"derived":[155],"tests.":[156],"showed":[162],"developers":[165],"confirmed":[168],"some":[170],"these":[172],"point":[173],"parts":[175],"biologically":[181],"incorrect":[182],"incomplete":[184],"suggesting":[185],"may":[187],"able":[189],"use":[191],"improve":[194],"quality.":[196]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}