{"id":"https://openalex.org/W4400079181","doi":"https://doi.org/10.1109/tse.2024.3419919","title":"A Scalable t-Wise Coverage Estimator: Algorithms and Applications","display_name":"A Scalable t-Wise Coverage Estimator: Algorithms and Applications","publication_year":2024,"publication_date":"2024-06-27","ids":{"openalex":"https://openalex.org/W4400079181","doi":"https://doi.org/10.1109/tse.2024.3419919"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3419919","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3419919","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2078.1/299350","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002632564","display_name":"Eduard Baranov","orcid":"https://orcid.org/0000-0002-7357-705X"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Eduard Baranov","raw_affiliation_strings":["Universite catholique de Louvain, UClouvain, Louvain-la-Neuve, Belgium"],"raw_orcid":"https://orcid.org/0000-0002-7357-705X","affiliations":[{"raw_affiliation_string":"Universite catholique de Louvain, UClouvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101626747","display_name":"Sourav Chakraborty","orcid":"https://orcid.org/0000-0001-9518-6204"},"institutions":[{"id":"https://openalex.org/I6498739","display_name":"Indian Statistical Institute","ror":"https://ror.org/00q2w1j53","country_code":"IN","type":"education","lineage":["https://openalex.org/I6498739"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sourav Chakraborty","raw_affiliation_strings":["Indian Statistical Institute, West Bengal, Kolkata, India"],"raw_orcid":"https://orcid.org/0000-0001-9518-6204","affiliations":[{"raw_affiliation_string":"Indian Statistical Institute, West Bengal, Kolkata, India","institution_ids":["https://openalex.org/I6498739"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030129842","display_name":"Axel Legay","orcid":"https://orcid.org/0000-0003-2287-8925"},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["Universite catholique de Louvain, UClouvain, Louvain-la-Neuve, Belgium"],"raw_orcid":"https://orcid.org/0000-0003-2287-8925","affiliations":[{"raw_affiliation_string":"Universite catholique de Louvain, UClouvain, Louvain-la-Neuve, Belgium","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041528950","display_name":"Kuldeep S. Meel","orcid":"https://orcid.org/0000-0001-9423-5270"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kuldeep S. Meel","raw_affiliation_strings":["University of Toronto, Toronto, ON, Canada"],"raw_orcid":"https://orcid.org/0000-0001-9423-5270","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, ON, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031088478","display_name":"N. V. Vinodchandran","orcid":"https://orcid.org/0000-0001-7959-4662"},"institutions":[{"id":"https://openalex.org/I114395901","display_name":"University of Nebraska\u2013Lincoln","ror":"https://ror.org/043mer456","country_code":"US","type":"education","lineage":["https://openalex.org/I114395901"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N. Variyam Vinodchandran","raw_affiliation_strings":["University of Nebraska-Lincoln, Lincoln, NE, USA"],"raw_orcid":"https://orcid.org/0000-0001-7959-4662","affiliations":[{"raw_affiliation_string":"University of Nebraska-Lincoln, Lincoln, NE, USA","institution_ids":["https://openalex.org/I114395901"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6043,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.69319634,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"50","issue":"8","first_page":"2021","last_page":"2039"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10136","display_name":"Statistical Methods and Inference","score":0.8551999926567078,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10136","display_name":"Statistical Methods and Inference","score":0.8551999926567078,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"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.8394593000411987},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.577323853969574},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5360444188117981},{"id":"https://openalex.org/keywords/estimator","display_name":"Estimator","score":0.4611506760120392},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.11501610279083252},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0937754213809967},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.08458495140075684}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8394593000411987},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.577323853969574},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5360444188117981},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.4611506760120392},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.11501610279083252},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0937754213809967},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.08458495140075684}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2024.3419919","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3419919","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:dial.uclouvain.be:boreal:299350","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/299350","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Software Engineering, Vol. 50, no.8, p. 2021-2039 (2024)","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:dial.uclouvain.be:boreal:299350","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/299350","pdf_url":null,"source":{"id":"https://openalex.org/S4306400166","display_name":"Digital Access to Libraries","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800384882","host_organization_name":"Harris County Public Library","host_organization_lineage":["https://openalex.org/I2800384882"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Software Engineering, Vol. 50, no.8, p. 2021-2039 (2024)","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":75,"referenced_works":["https://openalex.org/W21975773","https://openalex.org/W616055941","https://openalex.org/W1513363711","https://openalex.org/W1517453125","https://openalex.org/W1606825810","https://openalex.org/W1758913682","https://openalex.org/W2000478763","https://openalex.org/W2025672288","https://openalex.org/W2040767332","https://openalex.org/W2048064553","https://openalex.org/W2050036681","https://openalex.org/W2065341612","https://openalex.org/W2066720893","https://openalex.org/W2071112258","https://openalex.org/W2075699551","https://openalex.org/W2086665685","https://openalex.org/W2094500233","https://openalex.org/W2095685711","https://openalex.org/W2107527204","https://openalex.org/W2115826669","https://openalex.org/W2115910430","https://openalex.org/W2116844130","https://openalex.org/W2118547397","https://openalex.org/W2122796178","https://openalex.org/W2123263380","https://openalex.org/W2126717908","https://openalex.org/W2134906949","https://openalex.org/W2137790472","https://openalex.org/W2140062424","https://openalex.org/W2142785340","https://openalex.org/W2149902097","https://openalex.org/W2151725765","https://openalex.org/W2152893457","https://openalex.org/W2153563664","https://openalex.org/W2153649445","https://openalex.org/W2156062547","https://openalex.org/W2166614386","https://openalex.org/W2166856993","https://openalex.org/W2170167679","https://openalex.org/W2172225938","https://openalex.org/W2294668324","https://openalex.org/W2401047494","https://openalex.org/W2735780801","https://openalex.org/W2741942913","https://openalex.org/W2794800068","https://openalex.org/W2899702797","https://openalex.org/W2908408690","https://openalex.org/W2935061741","https://openalex.org/W2941640074","https://openalex.org/W2964396926","https://openalex.org/W2967034934","https://openalex.org/W2967185606","https://openalex.org/W3028996067","https://openalex.org/W3036532566","https://openalex.org/W3043665946","https://openalex.org/W3099531198","https://openalex.org/W3195190999","https://openalex.org/W4230626603","https://openalex.org/W4238278982","https://openalex.org/W4238956019","https://openalex.org/W4246414636","https://openalex.org/W4247184692","https://openalex.org/W4284708879","https://openalex.org/W4293153904","https://openalex.org/W4308648316","https://openalex.org/W4310676765","https://openalex.org/W4378647890","https://openalex.org/W4393581519","https://openalex.org/W6600874025","https://openalex.org/W6636493399","https://openalex.org/W6684932501","https://openalex.org/W6726302788","https://openalex.org/W6731898230","https://openalex.org/W6863048602","https://openalex.org/W6889932632"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W4287880334","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W4366700029","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Owing":[0],"to":[1,14,35,45,70,131,181,226],"the":[2,37,98,171,187,233,276,302,306],"pervasiveness":[3],"of":[4,64,78,95,100,110,113,141,153,170,175,186,232,278,288,290,296,308],"software":[5,10],"in":[6,54,160],"our":[7],"modern":[8],"lives,":[9],"systems":[11],"have":[12],"evolved":[13],"be":[15,182,227],"highly":[16,28],"configurable.":[17],"Combinatorial":[18],"testing":[19,27],"has":[20,49],"emerged":[21],"as":[22],"a":[23,40,51,92,107,138,150,161,197,204,215,248,255,309],"dominant":[24],"paradigm":[25],"for":[26,75,91,137,149,196,214,247],"configurable":[29],"systems.":[30],"Often":[31],"constraints":[32,111],"are":[33,274],"employed":[34],"define":[36],"environments":[38],"where":[39],"given":[41,93,108,139,151,198,216,249],"system":[42],"is":[43,69,112,179,224],"expected":[44],"work.":[46],"Therefore,":[47,81],"there":[48],"been":[50],"sustained":[52],"interest":[53],"designing":[55,82],"constraint-based":[56],"test":[57,65,162,310,322],"suite":[58,66,311,323],"generation":[59,67],"techniques.":[60],"A":[61,209],"significant":[62,121],"goal":[63],"techniques":[68,84,119],"achieve":[71],"<inline-formula><tex-math":[72,79,88,103,134,146,157,164,172,176,184,194,201,207,212,218,229,236,240,244,252,258,265,268,291,293,330],"notation=\"LaTeX\">$t$</tex-math></inline-formula>-wise":[73,89,104,135,147,173,237],"coverage":[74,90,105,136,148,174,238],"higher":[76],"values":[77],"notation=\"LaTeX\">$t$</tex-math></inline-formula>.":[80,331],"scalable":[83,126,210],"that":[85,178,264,273],"can":[86,270,304],"estimate":[87,132,169],"set":[94,109,140,152,163],"tests":[96],"and/or":[97],"estimation":[99,118],"maximum":[101,145,234],"achievable":[102,235],"under":[106,239],"crucial":[114],"importance.":[115],"The":[116],"existing":[117],"face":[120],"scalability":[122,307],"hurdles.":[123],"We":[124,299],"designed":[125],"algorithms":[127,303],"with":[128,190,242],"mathematical":[129],"guarantees":[130],"(i)":[133],"tests,":[142],"and":[143,166,203,254,267,295],"(ii)":[144],"constraints.":[154],"In":[155,282,317],"particular,":[156],"notation=\"LaTeX\">$\\mathsf{ApproxCov}$</tex-math></inline-formula>":[158,266],"takes":[159],"notation=\"LaTeX\">$\\mathcal{U}$</tex-math></inline-formula>":[165,177],"returns":[167],"an":[168,221],"guaranteed":[180,225],"within":[183,228],"notation=\"LaTeX\">$(1\\pm\\varepsilon)$</tex-math></inline-formula>-factor":[185],"ground":[188],"truth":[189],"probability":[191,243],"at":[192],"least":[193],"notation=\"LaTeX\">$1-\\delta$</tex-math></inline-formula>":[195],"tolerance":[199,250],"parameter":[200,206,251,257],"notation=\"LaTeX\">$\\varepsilon$</tex-math></inline-formula>":[202,253],"confidence":[205,256],"notation=\"LaTeX\">$\\delta$</tex-math></inline-formula>.":[208,259],"framework":[211],"notation=\"LaTeX\">${\\mathsf{ApproxMaxCov}}$</tex-math></inline-formula>":[213,269],"formula":[217],"notation=\"LaTeX\">${\\mathsf{F}}$</tex-math></inline-formula>":[219],"outputs":[220],"approximation":[222],"which":[223],"notation=\"LaTeX\">$(1\\pm\\varepsilon)$</tex-math></inline-formula>":[230],"factor":[231],"notation=\"LaTeX\">${\\mathsf{F}}$</tex-math></inline-formula>,":[241],"notation=\"LaTeX\">$\\geq":[245],"1-\\delta$</tex-math></inline-formula>":[246],"Our":[260],"comprehensive":[261],"evaluation":[262],"demonstrates":[263],"handle":[271],"benchmarks":[272],"beyond":[275],"reach":[277],"current":[279],"state-of-the-art":[280],"approaches.":[281],"this":[283],"paper":[284],"we":[285,319],"present":[286],"proofs":[287],"correctness":[289],"notation=\"LaTeX\">$\\mathsf{ApproxCov}$</tex-math></inline-formula>,":[292],"notation=\"LaTeX\">${\\mathsf{ApproxMaxCov}}$</tex-math></inline-formula>,":[294],"their":[297],"generalizations.":[298],"show":[300],"how":[301],"improve":[305],"generator":[312],"while":[313],"maintaining":[314],"its":[315],"effectiveness.":[316],"addition,":[318],"compare":[320],"several":[321],"generators":[324],"on":[325],"different":[326],"feature":[327],"combination":[328],"sizes":[329]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2024-06-28T00:00:00"}