{"id":"https://openalex.org/W2714442164","doi":"https://doi.org/10.1109/ast.2017.5","title":"DATm: Diderot's Automated Testing Model","display_name":"DATm: Diderot's Automated Testing Model","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2714442164","doi":"https://doi.org/10.1109/ast.2017.5","mag":"2714442164"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ast.2017.5","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046453853","display_name":"Charisee Chiw","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Charisee Chiw","raw_affiliation_strings":["Department of Computer Science, University of Chicago"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045224825","display_name":"Gordon Kindlmann","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gordon Kindlmann","raw_affiliation_strings":["Department of Computer Science, University of Chicago"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030967328","display_name":"John Reppy","orcid":"https://orcid.org/0000-0002-5881-298X"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Reppy","raw_affiliation_strings":["Department of Computer Science, University of Chicago"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.189,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":2,"citation_normalized_percentile":{"value":0.621745,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":71,"max":75},"biblio":{"volume":"10","issue":null,"first_page":"45","last_page":"51"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9878,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9878,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9858,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9702,"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":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5808165}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ast.2017.5","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality education","score":0.42,"id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W151797637","https://openalex.org/W1532502754","https://openalex.org/W1925684990","https://openalex.org/W1980883268","https://openalex.org/W2031872041","https://openalex.org/W2094771270","https://openalex.org/W2098456636","https://openalex.org/W2119717320","https://openalex.org/W2124196561","https://openalex.org/W2125126351","https://openalex.org/W2130746431","https://openalex.org/W2146735819","https://openalex.org/W2162569557","https://openalex.org/W2170737051","https://openalex.org/W2242274110","https://openalex.org/W2268889644","https://openalex.org/W2313752879","https://openalex.org/W2370472429","https://openalex.org/W2404214886","https://openalex.org/W4244488020","https://openalex.org/W4246769448","https://openalex.org/W4299934524"],"related_works":["https://openalex.org/W4391913857","https://openalex.org/W2748952813","https://openalex.org/W2530322880","https://openalex.org/W2478288626","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Diderot":[0,23,56,169,218],"is":[1,24,58,90,98],"a":[2,38,84,106,190,194,206,229,252],"parallel":[3],"domain-specific":[4],"language":[5,196],"forthe":[6],"analysis":[7],"and":[8,20,36,104,152,212,221,246],"visualization":[9],"of":[10,46,50,54,69,109,138,163,177,184,215,217,234,255,270],"multidimensional":[11],"scientific":[12],"images,":[13],"such":[14,87],"as":[15,88],"those":[16],"produced":[17],"by":[18,63,237,272],"CT":[19],"MRI":[21],"scanners.":[22],"designed":[25],"to":[26,118,134,266],"support":[27],"algorithms":[28],"that":[29,95,208,222,240,260],"are":[30,241],"based":[31,171,197],"on":[32,172,198],"differential":[33],"tensor":[34,47,70],"calculus":[35,71],"produces":[37],"higher-order":[39],"mathematical":[40,67,182],"model":[41,133,191,262],"which":[42],"allows":[43],"direct":[44],"manipulation":[45],"fields.":[48],"One":[49],"the":[51,55,77,96,113,136,139,143,155,161,164,168,175,178,181,185,202,232,244,261],"main":[52],"challenges":[53],"implementation":[57,97],"bridging":[59],"this":[60,125],"semantic":[61],"gap":[62],"effectively":[64],"translating":[65],"high-level":[66,85,195],"notation":[68],"into":[72],"efficient":[73],"low-level":[74],"code":[75],"in":[76,142,167,243],"target":[78],"language.":[79,145],"A":[80],"key":[81],"question":[82],"for":[83,192,204,231],"language,":[86,170],"Diderot,":[89],"how":[91,173],"do":[92],"we":[93,127,258],"know":[94],"correct.":[99],"We":[100,159,227],"have":[101],"previously":[102],"presented":[103],"defended":[105],"core":[107,140],"set":[108],"rewriting":[110],"rules,":[111],"but":[112],"full":[114],"translation":[115],"from":[116],"source":[117],"executable":[119],"requires":[120],"much":[121],"more":[122],"work.":[123],"In":[124],"paper,":[126],"present":[128],"DATm,":[129,205],"Diderot's":[130],"automated":[131],"testing":[132,193,236],"check":[135],"correctness":[137],"operations":[141],"programming":[144],"DATm":[146],"can":[147,209,263],"automatically":[148,210],"create":[149,211,267],"test":[150,213,219],"programs,":[151],"predict":[153],"what":[154],"outcome":[156],"should":[157],"be.":[158],"measure":[160],"accuracy":[162],"computations":[165],"written":[166],"accurately":[174],"output":[176],"program":[179],"represents":[180],"equivalent":[183],"computations.":[186],"This":[187],"paper":[188],"describes":[189],"correctness.":[199],"It":[200],"introduces":[201],"pipeline":[203],"tool":[207],"tens":[214],"thousands":[216],"programs":[220],"has":[223],"found":[224,250],"numerous":[225],"bugs.":[226],"make":[228],"case":[230],"necessity":[233],"extensive":[235],"describing":[238],"bugs":[239],"deep":[242],"compiler,":[245],"only":[247],"could":[248],"be":[249,264],"with":[251],"unique":[253],"application":[254],"operations.":[256],"Lastly,":[257],"demonstrate":[259],"used":[265],"other":[268],"types":[269],"tests":[271],"visual":[273],"verification.":[274]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2714442164","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2024-12-15T01:48:20.514204","created_date":"2017-06-30"}