{"id":"https://openalex.org/W4249100736","doi":"https://doi.org/10.1109/icse.2013.6606576","title":"Partition-based regression verification","display_name":"Partition-based regression verification","publication_year":2013,"publication_date":"2013-05-01","ids":{"openalex":"https://openalex.org/W4249100736","doi":"https://doi.org/10.1109/icse.2013.6606576"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2013.6606576","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2013.6606576","pdf_url":null,"source":{"id":"https://openalex.org/S4363607951","display_name":"2013 35th International Conference on Software Engineering (ICSE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 35th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-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/A5005260100","display_name":"Marcel B\u00f6hme","orcid":"https://orcid.org/0000-0002-4470-1824"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Marcel Bohme","raw_affiliation_strings":["School of Computing, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049714036","display_name":"Bruno C. d. S. Oliveira","orcid":"https://orcid.org/0000-0002-1846-7210"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Bruno C. D. S. Oliveira","raw_affiliation_strings":["School of Computing, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060115298","display_name":"Abhik Roychoudhury","orcid":"https://orcid.org/0000-0002-7127-1137"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Abhik Roychoudhury","raw_affiliation_strings":["School of Computing, National University of Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005260100"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":null,"apc_paid":null,"fwci":1.9677,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.87336245,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"302","last_page":"311"},"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.9998999834060669,"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.9998999834060669,"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.9984999895095825,"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/T10260","display_name":"Software Engineering Research","score":0.9957000017166138,"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/partition","display_name":"Partition (number theory)","score":0.6989266276359558},{"id":"https://openalex.org/keywords/regression-testing","display_name":"Regression testing","score":0.6969802379608154},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.6393218636512756},{"id":"https://openalex.org/keywords/regression","display_name":"Regression","score":0.6114920973777771},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5764341354370117},{"id":"https://openalex.org/keywords/regression-analysis","display_name":"Regression analysis","score":0.5512255430221558},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4528553783893585},{"id":"https://openalex.org/keywords/linear-regression","display_name":"Linear regression","score":0.4127039909362793},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3543366491794586},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34239524602890015},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2983037233352661},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24826854467391968},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.23073047399520874},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.19136115908622742},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1168249249458313},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.08414626121520996},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07714444398880005}],"concepts":[{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.6989266276359558},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.6969802379608154},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.6393218636512756},{"id":"https://openalex.org/C83546350","wikidata":"https://www.wikidata.org/wiki/Q1139051","display_name":"Regression","level":2,"score":0.6114920973777771},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5764341354370117},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.5512255430221558},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4528553783893585},{"id":"https://openalex.org/C48921125","wikidata":"https://www.wikidata.org/wiki/Q10861030","display_name":"Linear regression","level":2,"score":0.4127039909362793},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3543366491794586},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34239524602890015},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2983037233352661},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24826854467391968},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.23073047399520874},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.19136115908622742},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1168249249458313},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.08414626121520996},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07714444398880005},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icse.2013.6606576","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2013.6606576","pdf_url":null,"source":{"id":"https://openalex.org/S4363607951","display_name":"2013 35th International Conference on Software Engineering (ICSE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 35th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/78279","is_oa":false,"landing_page_url":"http://scholarbank.nus.edu.sg/handle/10635/78279","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Scopus","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W203808516","https://openalex.org/W1497028280","https://openalex.org/W1545038039","https://openalex.org/W1771925833","https://openalex.org/W1971137495","https://openalex.org/W1980818933","https://openalex.org/W2001601301","https://openalex.org/W2004071059","https://openalex.org/W2012210872","https://openalex.org/W2017828132","https://openalex.org/W2020689607","https://openalex.org/W2026117800","https://openalex.org/W2038654524","https://openalex.org/W2045109907","https://openalex.org/W2046387193","https://openalex.org/W2071112258","https://openalex.org/W2074888021","https://openalex.org/W2091543666","https://openalex.org/W2097299181","https://openalex.org/W2101512909","https://openalex.org/W2103057263","https://openalex.org/W2103778230","https://openalex.org/W2116622216","https://openalex.org/W2124089067","https://openalex.org/W2125539770","https://openalex.org/W2139498310","https://openalex.org/W2140077136","https://openalex.org/W2140697469","https://openalex.org/W2146408397","https://openalex.org/W2163266483","https://openalex.org/W2165751179","https://openalex.org/W2168625647","https://openalex.org/W2169063148","https://openalex.org/W3139873062","https://openalex.org/W4236799059","https://openalex.org/W4237492309","https://openalex.org/W4249100736","https://openalex.org/W4252881265","https://openalex.org/W6656765965","https://openalex.org/W6675406700","https://openalex.org/W6677634648","https://openalex.org/W6680430952"],"related_works":["https://openalex.org/W4232229155","https://openalex.org/W643015529","https://openalex.org/W2045239961","https://openalex.org/W2162694379","https://openalex.org/W4384302763","https://openalex.org/W31220157","https://openalex.org/W2288557197","https://openalex.org/W4233024177","https://openalex.org/W2101914902","https://openalex.org/W3174613421"],"abstract_inverted_index":{"Regression":[0,20],"verification":[1,89],"(RV)":[2],"seeks":[3],"to":[4,25,121,168,173,179],"guarantee":[5],"the":[6,29,44,62,67,82,94,105,128,152],"absence":[7,63],"of":[8,32,43,48,57,60,64],"regression":[9,65,123],"errors":[10],"in":[11,77,101,151],"a":[12,41,55,78,118,170],"changed":[13],"program":[14,50,141],"version.":[15],"This":[16,98],"paper":[17],"presents":[18],"Partition-based":[19],"Verification":[21],"(PRV):":[22],"an":[23],"approach":[24],"RV":[26],"based":[27],"on":[28],"gradual":[30,79],"exploration":[31,83],"differential":[33,37,75,96],"input":[34,38,46,69,107,154],"partitions.":[35,97],"A":[36],"partition":[39],"is":[40,84,99],"subset":[42],"common":[45,153],"space":[47,70,108],"two":[49,140],"versions":[51],"that":[52,115,165,177],"serves":[53],"as":[54,103],"unit":[56],"verification.":[58],"Instead":[59],"proving":[61],"for":[66,93],"complete":[68,106],"at":[71,91],"once,":[72],"PRV":[73,86,116,130,156],"verifies":[74],"partitions":[76,160],"manner.":[80],"If":[81],"interrupted,":[85],"retains":[87],"partial":[88],"guarantees":[90],"least":[92],"explored":[95],"crucial":[100],"practice":[102],"verifying":[104],"can":[109,135,157],"be":[110],"prohibitively":[111],"expensive.":[112],"Experiments":[113],"show":[114],"provides":[117],"useful":[119],"alternative":[120],"state-of-the-art":[122],"test":[124,132,145],"generation":[125],"techniques.":[126],"During":[127],"exploration,":[129],"generates":[131],"cases":[133,146],"which":[134],"expose":[136],"different":[137],"behaviour":[138],"across":[139],"versions.":[142],"However,":[143],"while":[144],"are":[147],"generally":[148],"single":[149],"points":[150],"space,":[155],"verify":[158],"entire":[159],"and":[161],"moreover":[162],"give":[163],"feedback":[164],"allows":[166],"programmers":[167],"relate":[169],"behavioral":[171],"difference":[172],"those":[174],"syntactic":[175],"changes":[176],"contribute":[178],"this":[180],"difference.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":7},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}