{"id":"https://openalex.org/W3123196080","doi":"https://doi.org/10.1145/3324884.3416638","title":"ChemTest","display_name":"ChemTest","publication_year":2020,"publication_date":"2020-12-21","ids":{"openalex":"https://openalex.org/W3123196080","doi":"https://doi.org/10.1145/3324884.3416638","mag":"3123196080"},"language":"en","primary_location":{"id":"doi:10.1145/3324884.3416638","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3324884.3416638","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416638","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416638","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":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/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":"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/I87213936","display_name":"Drake University","ror":"https://ror.org/001skmk61","country_code":"US","type":"education","lineage":["https://openalex.org/I87213936"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Titus H. Klinge","raw_affiliation_strings":["Drake University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Drake University","institution_ids":["https://openalex.org/I87213936"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9401,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.92872318,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"548","last_page":"560"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.9958000183105469,"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"}},"topics":[{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.9958000183105469,"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"}},{"id":"https://openalex.org/T10207","display_name":"Advanced biosensing and bioanalysis techniques","score":0.9911999702453613,"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.9843999743461609,"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.9096252918243408},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7900531888008118},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7664180994033813},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4987161159515381},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4900718927383423},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4650140404701233},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42202770709991455},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32196342945098877},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25835996866226196},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.0817473828792572}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9096252918243408},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7900531888008118},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7664180994033813},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4987161159515381},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4900718927383423},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4650140404701233},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42202770709991455},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32196342945098877},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25835996866226196},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0817473828792572}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3324884.3416638","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3324884.3416638","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416638","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3324884.3416638","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3324884.3416638","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3324884.3416638","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2422134332","display_name":"EAGER: Bio-inspired Assurance and Regression Testing to Secure Organic Programs","funder_award_id":"1901543","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7525022733","display_name":"FET: Medium: Design for Dependability in Systems of Molecular Programs","funder_award_id":"1900716","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7655562825","display_name":"SHF: Small: Foundations of Software Testing Representations of Natural Processes","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3123196080.pdf","grobid_xml":"https://content.openalex.org/works/W3123196080.grobid-xml"},"referenced_works_count":66,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W618880437","https://openalex.org/W1552172399","https://openalex.org/W1821051139","https://openalex.org/W1862398452","https://openalex.org/W1986292487","https://openalex.org/W1990476699","https://openalex.org/W1991095994","https://openalex.org/W1992639336","https://openalex.org/W1995905015","https://openalex.org/W1996266614","https://openalex.org/W2002644983","https://openalex.org/W2008591003","https://openalex.org/W2013711971","https://openalex.org/W2026926213","https://openalex.org/W2030102144","https://openalex.org/W2070537549","https://openalex.org/W2072895616","https://openalex.org/W2075031385","https://openalex.org/W2086507196","https://openalex.org/W2104146049","https://openalex.org/W2109246387","https://openalex.org/W2116117396","https://openalex.org/W2126961173","https://openalex.org/W2138153242","https://openalex.org/W2141478443","https://openalex.org/W2150985916","https://openalex.org/W2151366879","https://openalex.org/W2158124716","https://openalex.org/W2158346543","https://openalex.org/W2158979830","https://openalex.org/W2169033535","https://openalex.org/W2186876778","https://openalex.org/W2251260883","https://openalex.org/W2324595780","https://openalex.org/W2344588994","https://openalex.org/W2395749546","https://openalex.org/W2398654037","https://openalex.org/W2505960745","https://openalex.org/W2508374411","https://openalex.org/W2514050881","https://openalex.org/W2643298955","https://openalex.org/W2728643673","https://openalex.org/W2745594002","https://openalex.org/W2747130326","https://openalex.org/W2747253451","https://openalex.org/W2750584554","https://openalex.org/W2762833920","https://openalex.org/W2782311202","https://openalex.org/W2783495015","https://openalex.org/W2794756405","https://openalex.org/W2810268565","https://openalex.org/W2888080919","https://openalex.org/W2889406612","https://openalex.org/W2898333178","https://openalex.org/W2899183469","https://openalex.org/W2899445138","https://openalex.org/W2951170114","https://openalex.org/W2960013457","https://openalex.org/W2963174035","https://openalex.org/W2964289871","https://openalex.org/W2967287319","https://openalex.org/W2999670152","https://openalex.org/W3091645626","https://openalex.org/W4247491713","https://openalex.org/W6712267375"],"related_works":["https://openalex.org/W1970941582","https://openalex.org/W2107399212","https://openalex.org/W1604988569","https://openalex.org/W1497573972","https://openalex.org/W4289687320","https://openalex.org/W1846253165","https://openalex.org/W2071659383","https://openalex.org/W2124122503","https://openalex.org/W925418074","https://openalex.org/W2119610731"],"abstract_inverted_index":{"In":[0,39,90,194],"recent":[1],"years":[2],"the":[3,32,67,95,98,176,184,199],"use":[4],"of":[5,69,75,100,175,186],"non-traditional":[6],"computing":[7],"mechanisms":[8],"has":[9],"grown":[10],"rapidly.":[11],"One":[12],"paradigm":[13,166],"uses":[14],"chemical":[15,22],"reaction":[16],"networks":[17],"(CRNs)":[18],"to":[19,27],"compute":[20],"via":[21],"interactions.":[23],"CRNs":[24,70,77],"are":[25,43,71,86,133,157],"used":[26],"prototype":[28],"molecular":[29],"devices":[30],"at":[31,201],"nanoscale":[33],"such":[34,50,59],"as":[35,51,60],"intelligent":[36],"drug":[37],"therapeutics.":[38],"practice,":[40],"these":[41,85],"programs":[42,131],"first":[44,96],"written":[45],"and":[46,53,81,116,121,130,148],"simulated":[47],"in":[48,88,190],"environments":[49],"MatLab":[52],"later":[54],"compiled":[55],"into":[56],"physical":[57],"molecules":[58],"DNA":[61],"strands.":[62],"However,":[63],"techniques":[64],"for":[65,105,128,164],"testing":[66,103],"correctness":[68],"lacking.":[72],"Current":[73],"methods":[74],"validating":[76],"include":[78],"model":[79,151],"checking":[80],"theorem":[82],"proving,":[83],"but":[84],"limited":[87],"scalability.":[89],"this":[91,165],"paper":[92],"we":[93,196],"present":[94],"(to":[97],"best":[99],"our":[101,154,191],"knowledge)":[102],"framework":[104],"CRNs,":[106],"ChemTest.":[107],"ChemTest":[108,143],"evaluates":[109],"test":[110,123,192],"oracles":[111],"on":[112],"individual":[113],"simulation":[114],"traces":[115],"supports":[117],"functional,":[118],"metamorphic,":[119],"internal":[120],"hyper":[122],"cases.":[124],"It":[125],"also":[126],"allows":[127],"flakiness":[129],"that":[132,142,161],"probabilistic.":[134],"We":[135],"performed":[136],"a":[137],"large":[138],"case":[139],"study":[140],"demonstrating":[141],"can":[144],"find":[145,173,181],"seeded":[146],"faults":[147],"scales":[149],"beyond":[150],"checking.":[152],"Of":[153],"tests,":[155],"21%":[156],"inherently":[158],"flaky,":[159],"suggesting":[160],"systematic":[162],"support":[163],"is":[167],"needed.":[168],"On":[169],"average,":[170],"functional":[171],"tests":[172,180],"66.5%":[174],"faults,":[177],"while":[178],"metamorphic":[179,188],"80.4%,":[182],"showing":[183],"benefit":[185],"using":[187],"relationships":[189],"framework.":[193],"addition,":[195],"show":[197],"how":[198],"time":[200],"evaluation":[202],"impacts":[203],"fault":[204],"detection.":[205]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2021-02-01T00:00:00"}