{"id":"https://openalex.org/W7155056399","doi":"https://doi.org/10.48550/arxiv.2604.16373","title":"DIRT: Database-Integrated Random Testing","display_name":"DIRT: Database-Integrated Random Testing","publication_year":2026,"publication_date":"2026-03-23","ids":{"openalex":"https://openalex.org/W7155056399","doi":"https://doi.org/10.48550/arxiv.2604.16373"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.16373","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16373","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.16373","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035741660","display_name":"A. Kele\u015f","orcid":"https://orcid.org/0009-0000-5734-3598"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Keles, Alperen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134169317","display_name":"Ethan Chou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chou, Ethan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134120746","display_name":"Harrison Goldstein","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Goldstein, Harrison","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5075217645","display_name":"Leonidas Lampropoulos","orcid":"https://orcid.org/0000-0003-0269-9815"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lampropoulos, Leonidas","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5035741660"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8949000239372253,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.8949000239372253,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.08299999684095383,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10260","display_name":"Software Engineering Research","score":0.005900000222027302,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.6280999779701233},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.5784000158309937},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.5562000274658203},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.5536999702453613},{"id":"https://openalex.org/keywords/manual-testing","display_name":"Manual testing","score":0.5180000066757202},{"id":"https://openalex.org/keywords/white-box-testing","display_name":"White-box testing","score":0.4982999861240387},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4374000132083893},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.43149998784065247},{"id":"https://openalex.org/keywords/keyword-driven-testing","display_name":"Keyword-driven testing","score":0.426800012588501}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7512000203132629},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6280999779701233},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.5784000158309937},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.5562000274658203},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.5536999702453613},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.5180000066757202},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.4982999861240387},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4374000132083893},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.43149998784065247},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.426800012588501},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4251999855041504},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.42340001463890076},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.3917999863624573},{"id":"https://openalex.org/C7166840","wikidata":"https://www.wikidata.org/wiki/Q1199682","display_name":"System testing","level":2,"score":0.38670000433921814},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.38440001010894775},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3668999969959259},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.334199994802475},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.33399999141693115},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.3296999931335449},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.31630000472068787},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.30970001220703125},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.28600001335144043},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.28290000557899475},{"id":"https://openalex.org/C191087605","wikidata":"https://www.wikidata.org/wiki/Q1501395","display_name":"Online transaction processing","level":4,"score":0.27970001101493835},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2720000147819519},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26989999413490295},{"id":"https://openalex.org/C24169984","wikidata":"https://www.wikidata.org/wiki/Q879969","display_name":"Black-box testing","level":5,"score":0.267300009727478},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.26010000705718994},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2590999901294708},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.25839999318122864},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C178059732","wikidata":"https://www.wikidata.org/wiki/Q1982529","display_name":"Software performance testing","level":5,"score":0.2581000030040741},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.25450000166893005}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.16373","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16373","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.16373","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.16373","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6612355709075928,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Database":[0],"management":[1],"systems":[2],"(DBMSs)":[3],"are":[4,20,29],"notoriously":[5],"complex,":[6],"making":[7],"them":[8],"difficult":[9],"to":[10,48,77,104],"test":[11],"effectively,":[12],"especially":[13],"during":[14,61,160],"early":[15],"development":[16],"when":[17,46],"many":[18],"features":[19],"incomplete.":[21],"Traditional":[22],"testing":[23,59,66,75,102,148],"tools":[24],"like":[25],"SQLancer":[26,130],"and":[27,43,84,119,138,158],"SQLSmith":[28],"highly":[30],"effective":[31],"for":[32,58,96],"mature":[33],"databases,":[34],"but":[35],"they":[36],"struggle":[37],"with":[38,81],"high":[39],"false":[40,86],"positive":[41,136],"rates":[42],"low":[44],"actionability":[45],"applied":[47],"evolving":[49],"systems.":[50],"We":[51,90,108],"present":[52],"DIRT,":[53],"a":[54,65],"paradigm":[55],"designed":[56],"specifically":[57],"databases":[60],"development,":[62],"which":[63],"integrates":[64],"framework":[67],"directly":[68],"into":[69],"the":[70,73,82,151],"DBMS,":[71],"enabling":[72],"random":[74],"process":[76],"evolve":[78],"in":[79,132],"tandem":[80],"system":[83],"reducing":[85],"positives":[87],"by":[88],"construction.":[89],"introduce":[91],"generation":[92],"actions,":[93],"an":[94,113],"abstraction":[95],"allowing":[97],"database":[98],"developers":[99],"rather":[100],"than":[101],"experts":[103],"specify":[105],"correctness":[106],"properties.":[107],"evaluate":[109],"DIRT":[110],"on":[111],"Turso,":[112],"actively":[114],"developed":[115],"SQLite-compatible":[116],"OLTP":[117],"engine,":[118],"show":[120],"that":[121,146],"it":[122],"finds":[123],"23":[124],"unique,":[125],"confirmed":[126],"bugs--significantly":[127],"outperforming":[128],"off-the-shelf":[129],"variants":[131],"terms":[133],"of":[134,140],"true":[135],"rate":[137],"usefulness":[139],"bug":[141],"reports.":[142],"Our":[143],"results":[144],"demonstrate":[145],"embedding":[147],"infrastructure":[149],"within":[150],"DBMS":[152],"can":[153],"dramatically":[154],"improve":[155],"its":[156],"effectiveness":[157],"usability":[159],"development.":[161]},"counts_by_year":[],"updated_date":"2026-04-22T06:07:44.442478","created_date":"2026-04-22T00:00:00"}
