{"id":"https://openalex.org/W4313547541","doi":"https://doi.org/10.1145/3551349.3559562","title":"A Framework for Testing Chemical Reaction Networks","display_name":"A Framework for Testing Chemical Reaction Networks","publication_year":2022,"publication_date":"2022-10-10","ids":{"openalex":"https://openalex.org/W4313547541","doi":"https://doi.org/10.1145/3551349.3559562"},"language":"en","primary_location":{"id":"doi:10.1145/3551349.3559562","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3559562","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3559562","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3559562","any_repository_has_fulltext":null},"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":true,"raw_author_name":"Michael C. Gerten","raw_affiliation_strings":["Computer Science, Iowa State University, United States of America"],"affiliations":[{"raw_affiliation_string":"Computer Science, Iowa State University, United States of America","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5032072064"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14112674,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"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.9998999834060669,"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.9998999834060669,"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/T12029","display_name":"DNA and Biological Computing","score":0.9891999959945679,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.837581992149353},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7965418696403503},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5714597702026367},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5685372352600098},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5003378391265869},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4211477041244507},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.41136693954467773},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3831583857536316},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.22805190086364746},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15472614765167236},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12781113386154175}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.837581992149353},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7965418696403503},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5714597702026367},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5685372352600098},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5003378391265869},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4211477041244507},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.41136693954467773},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3831583857536316},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.22805190086364746},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15472614765167236},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12781113386154175},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3551349.3559562","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3559562","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3559562","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3551349.3559562","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3559562","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3559562","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6200000047683716,"id":"https://metadata.un.org/sdg/3","display_name":"Good health and well-being"}],"awards":[{"id":"https://openalex.org/G3708823680","display_name":null,"funder_award_id":"1909688, 1900716","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313547541.pdf"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1552172399","https://openalex.org/W1821051139","https://openalex.org/W1976815031","https://openalex.org/W1991095994","https://openalex.org/W2103409481","https://openalex.org/W2141478443","https://openalex.org/W2150985916","https://openalex.org/W2169033535","https://openalex.org/W2344588994","https://openalex.org/W2745594002","https://openalex.org/W2750584554","https://openalex.org/W2810268565","https://openalex.org/W2888243497","https://openalex.org/W2899183469","https://openalex.org/W2964289871","https://openalex.org/W2999670152","https://openalex.org/W3032620265","https://openalex.org/W3123196080","https://openalex.org/W3177786053","https://openalex.org/W3208407575","https://openalex.org/W3210114756","https://openalex.org/W4284674815"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1524101012","https://openalex.org/W1578161921"],"abstract_inverted_index":{"The":[0],"use":[1,22,87],"of":[2,11,69,123,141,150],"non-traditional":[3],"computing":[4,161],"devices":[5],"is":[6,13,66],"growing":[7],"rapidly.":[8],"One":[9],"paradigm":[10],"interest":[12],"chemical":[14,23],"reaction":[15],"networks":[16],"(CRNs)":[17],"which":[18],"can":[19],"model":[20],"and":[21,53,73,83,111,126,153],"interactions":[24],"for":[25,37,64,86,144],"computation.":[26],"These":[27],"CRNs":[28,63],"are":[29,48],"used":[30],"to":[31,71,99,118],"develop":[32,138,147],"programs":[33,47],"at":[34],"the":[35,67,101],"nanoscale":[36],"applications":[38],"such":[39],"as":[40],"intelligent":[41],"drug":[42],"delivery.":[43],"In":[44,76,91],"practice,":[45],"these":[46,145],"developed":[49],"in":[50,88,159],"simulation":[51],"environments,":[52],"then":[54],"compiled":[55],"into":[56],"physical":[57],"systems.":[58],"A":[59],"challenge":[60],"when":[61],"designing":[62],"computation":[65,110],"lack":[68],"techniques":[70,85],"verify":[72],"validate":[74],"correctness.":[75],"this":[77,89,107,116,160],"work,":[78,93,135],"we":[79,94,136],"adapt":[80],"software":[81],"testing":[82,97],"repair":[84,122],"domain.":[90],"initial":[92],"designed":[95],"a":[96,139,148],"framework":[98,117],"handle":[100],"challenges":[102],"presented":[103],"by":[104],"CRN":[105,124],"programs;":[106],"includes":[108],"distributed":[109],"stochastic":[112],"behavior.":[113],"We":[114],"extended":[115],"implement":[119],"automated":[120,127],"program":[121,131],"models":[125],"test":[128],"generation":[129],"via":[130],"invariants.":[132],"For":[133],"future":[134],"will":[137],"notion":[140],"fault":[142],"localization":[143],"programs,":[146],"theory":[149],"mutation":[151],"generation,":[152],"address":[154],"issues":[155],"regarding":[156],"flakiness":[157],"present":[158],"paradigm.":[162]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}