{"id":"https://openalex.org/W2266149187","doi":"https://doi.org/10.1145/2818639","title":"The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints","display_name":"The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints","publication_year":2015,"publication_date":"2015-12-02","ids":{"openalex":"https://openalex.org/W2266149187","doi":"https://doi.org/10.1145/2818639","mag":"2266149187"},"language":"en","primary_location":{"id":"doi:10.1145/2818639","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2818639","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"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/A5078598020","display_name":"Phil McMinn","orcid":"https://orcid.org/0000-0001-9137-7433"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Phil Mcminn","raw_affiliation_strings":["University of Sheffield, Sheffield, UK"],"affiliations":[{"raw_affiliation_string":"University of Sheffield, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103076598","display_name":"Chris J. Wright","orcid":"https://orcid.org/0000-0003-4479-9478"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chris J. Wright","raw_affiliation_strings":["University of Sheffield, Sheffield, UK"],"affiliations":[{"raw_affiliation_string":"University of Sheffield, Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084185098","display_name":"Gregory M. Kapfhammer","orcid":null},"institutions":[{"id":"https://openalex.org/I120506574","display_name":"Allegheny College","ror":"https://ror.org/02jgzjj54","country_code":"US","type":"education","lineage":["https://openalex.org/I120506574"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gregory M. Kapfhammer","raw_affiliation_strings":["Allegheny College, Meadville, PA"],"affiliations":[{"raw_affiliation_string":"Allegheny College, Meadville, PA","institution_ids":["https://openalex.org/I120506574"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078598020"],"corresponding_institution_ids":["https://openalex.org/I91136226"],"apc_list":null,"apc_paid":null,"fwci":8.3403,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.97608025,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"25","issue":"1","first_page":"1","last_page":"49"},"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.9997000098228455,"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.9997000098228455,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"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.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.843287467956543},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.7095268964767456},{"id":"https://openalex.org/keywords/database-schema","display_name":"Database schema","score":0.6135085821151733},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.5495169162750244},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.5449404716491699},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.509210467338562},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.496340811252594},{"id":"https://openalex.org/keywords/vendor","display_name":"Vendor","score":0.45418891310691833},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3804224133491516},{"id":"https://openalex.org/keywords/database-design","display_name":"Database design","score":0.3778166174888611},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.26163792610168457}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.843287467956543},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.7095268964767456},{"id":"https://openalex.org/C30775581","wikidata":"https://www.wikidata.org/wiki/Q632285","display_name":"Database schema","level":3,"score":0.6135085821151733},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.5495169162750244},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.5449404716491699},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.509210467338562},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.496340811252594},{"id":"https://openalex.org/C2777338717","wikidata":"https://www.wikidata.org/wiki/Q1762621","display_name":"Vendor","level":2,"score":0.45418891310691833},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3804224133491516},{"id":"https://openalex.org/C148840519","wikidata":"https://www.wikidata.org/wiki/Q1049878","display_name":"Database design","level":2,"score":0.3778166174888611},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.26163792610168457},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2818639","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2818639","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:96273","is_oa":false,"landing_page_url":"http://eprints.whiterose.ac.uk/96273/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3264601377","display_name":"RE-COST: REducing the Cost of Oracles for Software Testing","funder_award_id":"EP/I010386/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5515407205","display_name":null,"funder_award_id":"EP/I010386/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W31290601","https://openalex.org/W132327467","https://openalex.org/W139810517","https://openalex.org/W163074494","https://openalex.org/W180578187","https://openalex.org/W1486172410","https://openalex.org/W1556219185","https://openalex.org/W1556422040","https://openalex.org/W1870771917","https://openalex.org/W1973601549","https://openalex.org/W1974157571","https://openalex.org/W1984701810","https://openalex.org/W1985967819","https://openalex.org/W1992302848","https://openalex.org/W1999217744","https://openalex.org/W2003385991","https://openalex.org/W2006247411","https://openalex.org/W2013711971","https://openalex.org/W2016432059","https://openalex.org/W2017995536","https://openalex.org/W2019661390","https://openalex.org/W2022274639","https://openalex.org/W2024352272","https://openalex.org/W2034204026","https://openalex.org/W2037291277","https://openalex.org/W2040374677","https://openalex.org/W2044140465","https://openalex.org/W2044490410","https://openalex.org/W2049695835","https://openalex.org/W2056820901","https://openalex.org/W2057516979","https://openalex.org/W2063234560","https://openalex.org/W2068292348","https://openalex.org/W2088241124","https://openalex.org/W2096662969","https://openalex.org/W2099525917","https://openalex.org/W2100875386","https://openalex.org/W2101629181","https://openalex.org/W2103278866","https://openalex.org/W2105749831","https://openalex.org/W2107531799","https://openalex.org/W2108349789","https://openalex.org/W2112100340","https://openalex.org/W2113730959","https://openalex.org/W2113923750","https://openalex.org/W2113974498","https://openalex.org/W2114869486","https://openalex.org/W2115822498","https://openalex.org/W2119021158","https://openalex.org/W2121084172","https://openalex.org/W2125232649","https://openalex.org/W2127127795","https://openalex.org/W2131231258","https://openalex.org/W2131467114","https://openalex.org/W2135841285","https://openalex.org/W2135937266","https://openalex.org/W2139391817","https://openalex.org/W2140297147","https://openalex.org/W2141575847","https://openalex.org/W2152323874","https://openalex.org/W2154897437","https://openalex.org/W2157309873","https://openalex.org/W2159221989","https://openalex.org/W2162200351","https://openalex.org/W2165005590","https://openalex.org/W2165467455","https://openalex.org/W2165896645","https://openalex.org/W2171451409","https://openalex.org/W2171831739","https://openalex.org/W2178450340","https://openalex.org/W2185907055","https://openalex.org/W2408491442","https://openalex.org/W3041281612","https://openalex.org/W4245304463","https://openalex.org/W4247610018","https://openalex.org/W4388727850"],"related_works":["https://openalex.org/W2153455914","https://openalex.org/W1501673548","https://openalex.org/W2591891926","https://openalex.org/W1905261690","https://openalex.org/W291941179","https://openalex.org/W2129469317","https://openalex.org/W2090626944","https://openalex.org/W1016652228","https://openalex.org/W1588786827","https://openalex.org/W279222092"],"abstract_inverted_index":{"Despite":[0],"industry":[1],"advice":[2],"to":[3,14,66,108,130,143,204,218,237,269],"the":[4,31,64,82,98,114,135,157,161,189,194,206,239,244,247,265,272],"contrary,":[5],"there":[6],"has":[7,12,21],"been":[8],"little":[9],"work":[10],"that":[11,16,42,75,96,112,187,200,250],"sought":[13],"test":[15,113],"a":[17,36,88,176,219],"relational":[18,223],"database's":[19],"schema":[20],"correctly":[22],"specified":[23],"integrity":[24,85,118,145],"constraints.":[25,128],"These":[26,91],"critically":[27],"important":[28],"constraints":[29,86,119,146],"ensure":[30],"coherence":[32],"of":[33,79,84,100,116,134,160,196,209,222,243,260,267],"data":[34,210],"in":[35,87,150,175],"database,":[37],"defending":[38],"it":[39],"from":[40,71,93,254],"manipulations":[41],"could":[43],"violate":[44],"requirements":[45],"such":[46,120],"as":[47,121,255,257],"\u201cusernames":[48],"must":[49],"be":[50,57],"unique\u201d":[51],"or":[52,59],"\u201cthe":[53],"host":[54],"name":[55],"cannot":[56],"missing":[58],"unknown.\u201d":[60],"This":[61],"article":[62],"is":[63],"first":[65],"propose":[67],"coverage":[68,73,170,214],"criteria,":[69,74,246],"derived":[70],"logic":[72],"establish":[76],"different":[77,131],"levels":[78],"testing":[80,99],"for":[81,156,183],"formulation":[83,115],"database":[89,162],"schema.":[90],"range":[92,253],"simple":[94],"criteria":[95,111,153,171,215,268],"mandate":[97],"successful":[101],"and":[102,125,172,229,233],"unsuccessful":[103],"INSERT":[104],"statements":[105],"into":[106],"tables":[107],"more":[109],"advanced":[110],"complex":[117],"multi-column":[122],"PRIMARY":[123],"KEYs":[124],"arbitrary":[126],"CHECK":[127],"Due":[129],"vendor":[132],"interpretations":[133],"structured":[136],"query":[137],"language":[138],"(SQL)":[139],"specification":[140],"with":[141,264,271],"regard":[142],"how":[144],"should":[147],"actually":[148],"function":[149],"practice,":[151],"our":[152,213],"crucially":[154],"account":[155],"underlying":[158],"semantics":[159],"management":[163],"system":[164],"(DBMS).":[165],"After":[166],"formally":[167],"defining":[168],"these":[169],"relating":[173],"them":[174],"subsumption":[177],"hierarchy,":[178],"we":[179],"present":[180],"two":[181],"approaches":[182],"automatically":[184],"generating":[185],"tests":[186],"satisfy":[188],"criteria.":[190],"We":[191],"then":[192],"describe":[193],"results":[195,248],"an":[197],"empirical":[198],"study":[199],"uses":[201],"mutation":[202,251],"analysis":[203],"investigate":[205],"fault-finding":[207,241],"capability":[208],"generated":[211],"when":[212],"are":[216],"applied":[217],"wide":[220],"variety":[221],"schemas":[224],"hosted":[225],"by":[226],"three":[227],"well-known":[228],"representative":[230],"DBMSs\u2014HyperSQL,":[231],"PostgreSQL,":[232],"SQLite.":[234],"In":[235],"addition":[236],"revealing":[238],"complementary":[240],"capabilities":[242],"presented":[245],"show":[249],"scores":[252],"low":[256],"just":[258],"12%":[259],"mutants":[261],"being":[262],"killed":[263],"simplest":[266],"96%":[270],"most":[273],"advanced.":[274]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":7}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}