{"id":"https://openalex.org/W7110323366","doi":"https://doi.org/10.1145/3721462.3730947","title":"ER-\u03c0: Exhaustive Interleaving Replay for Testing Replicated Data Library Integration","display_name":"ER-\u03c0: Exhaustive Interleaving Replay for Testing Replicated Data Library Integration","publication_year":2025,"publication_date":"2025-12-08","ids":{"openalex":"https://openalex.org/W7110323366","doi":"https://doi.org/10.1145/3721462.3730947"},"language":null,"primary_location":{"id":"doi:10.1145/3721462.3730947","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3721462.3730947","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th International Middleware Conference","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":null,"display_name":"Provakar Mondal","orcid":"https://orcid.org/0009-0003-9990-0753"},"institutions":[{"id":"https://openalex.org/I880641448","display_name":"Luna Innovations (United States)","ror":"https://ror.org/00hnyb151","country_code":"US","type":"company","lineage":["https://openalex.org/I880641448"]},{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Provakar Mondal","raw_affiliation_strings":["Computer Science/ Software Innovations Lab, Virginia Tech, Blacksburg, Virginia, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science/ Software Innovations Lab, Virginia Tech, Blacksburg, Virginia, USA","institution_ids":["https://openalex.org/I880641448","https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":null,"display_name":"Eli Tilevich","orcid":"https://orcid.org/0000-0003-2415-6926"},"institutions":[{"id":"https://openalex.org/I880641448","display_name":"Luna Innovations (United States)","ror":"https://ror.org/00hnyb151","country_code":"US","type":"company","lineage":["https://openalex.org/I880641448"]},{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eli Tilevich","raw_affiliation_strings":["Computer Science/ Software Innovations Lab, Virginia Tech, Blacksburg, Virginia, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science/ Software Innovations Lab, Virginia Tech, Blacksburg, Virginia, USA","institution_ids":["https://openalex.org/I880641448","https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I859038795","https://openalex.org/I880641448"],"apc_list":null,"apc_paid":null,"fwci":3.2057,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.93490045,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"71"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.6787999868392944,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.6787999868392944,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.07090000063180923,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.053700000047683716,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.6283000111579895},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5514000058174133},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4765999913215637},{"id":"https://openalex.org/keywords/replicate","display_name":"Replicate","score":0.45899999141693115},{"id":"https://openalex.org/keywords/data-integration","display_name":"Data integration","score":0.4309999942779541},{"id":"https://openalex.org/keywords/integration-testing","display_name":"Integration testing","score":0.4262999892234802},{"id":"https://openalex.org/keywords/middleware","display_name":"Middleware (distributed applications)","score":0.39469999074935913},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.38909998536109924}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8898000121116638},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.6283000111579895},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5514000058174133},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5306000113487244},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4765999913215637},{"id":"https://openalex.org/C2781162219","wikidata":"https://www.wikidata.org/wiki/Q26250693","display_name":"Replicate","level":2,"score":0.45899999141693115},{"id":"https://openalex.org/C72634772","wikidata":"https://www.wikidata.org/wiki/Q386824","display_name":"Data integration","level":2,"score":0.4309999942779541},{"id":"https://openalex.org/C107683887","wikidata":"https://www.wikidata.org/wiki/Q782466","display_name":"Integration testing","level":3,"score":0.4262999892234802},{"id":"https://openalex.org/C169468491","wikidata":"https://www.wikidata.org/wiki/Q146923","display_name":"Middleware (distributed applications)","level":2,"score":0.39469999074935913},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.38909998536109924},{"id":"https://openalex.org/C2779151265","wikidata":"https://www.wikidata.org/wiki/Q1156791","display_name":"Copying","level":2,"score":0.3467999994754791},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.335999995470047},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.3181999921798706},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2946999967098236},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.2775000035762787},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2766999900341034},{"id":"https://openalex.org/C48105269","wikidata":"https://www.wikidata.org/wiki/Q1141160","display_name":"Header","level":2,"score":0.2766000032424927},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.27649998664855957},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2554999887943268}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3721462.3730947","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3721462.3730947","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th International Middleware Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1516319412","https://openalex.org/W1973139016","https://openalex.org/W1992683137","https://openalex.org/W2016018636","https://openalex.org/W2026791752","https://openalex.org/W2095593431","https://openalex.org/W2117465452","https://openalex.org/W2122578826","https://openalex.org/W2876719183","https://openalex.org/W2934650114","https://openalex.org/W2953600982","https://openalex.org/W2954772298","https://openalex.org/W2979942491","https://openalex.org/W2983466039","https://openalex.org/W2998259759","https://openalex.org/W3015972331","https://openalex.org/W3026503565","https://openalex.org/W3195029717","https://openalex.org/W3205375022","https://openalex.org/W4254126563","https://openalex.org/W4307887050","https://openalex.org/W4367675071","https://openalex.org/W4372259572","https://openalex.org/W4388858992","https://openalex.org/W6903464424"],"related_works":[],"abstract_inverted_index":{"Modern":[0],"replicated":[1,13,74,126,153,182],"data":[2,14,75,127,154,183],"systems":[3],"often":[4],"rely":[5],"on":[6],"libraries":[7,15,128],"integrated":[8,122],"with":[9,39,124,152],"application":[10,37,55],"code.":[11],"These":[12],"exchange":[16],"asynchronous":[17],"messages,":[18],"whose":[19,47],"execution":[20],"orderings":[21],"are":[22],"non-deterministic,":[23],"allowing":[24],"any":[25],"message":[26],"interleaving":[27],"to":[28,67,92,106,139,178],"occur":[29],"during":[30],"system":[31],"execution.":[32],"Testing":[33],"the":[34,94,97,103,108,115,167,179],"integration":[35,110,158],"of":[36,96,119,148,169,181],"code":[38,41,84],"library":[40],"requires":[42],"considering":[43],"all":[44],"possible":[45,71],"interleavings,":[46],"detection":[48],"and":[49,69,86,117,144,165],"simulation":[50],"pose":[51],"significant":[52],"challenges":[53],"for":[54,81,162],"developers.":[56],"In":[57],"this":[58],"paper,":[59],"we":[60,121],"present":[61],"ER-\u03c0,":[62,120],"a":[63,82],"middleware":[64],"system,":[65],"designed":[66],"detect":[68],"replay":[70],"interleavings":[72,80,105],"in":[73,173],"systems.":[76,184],"ER-\u03c0":[77,136,170],"identifies":[78],"potential":[79],"given":[83],"segment":[85],"applies":[87],"four":[88],"novel":[89],"pruning":[90],"techniques":[91],"reduce":[93],"complexity":[95],"problem":[98],"space.":[99],"Subsequently,":[100],"it":[101,123],"replays":[102],"remaining":[104],"perform":[107],"specified":[109],"testing":[111,159,176],"tasks.":[112],"To":[113],"assess":[114],"applicability":[116],"efficacy":[118],"third-party":[125],"across":[129],"various":[130],"programming":[131],"languages.":[132],"Our":[133],"experiments":[134],"demonstrate":[135],"'s":[137],"capability":[138],"replicate":[140],"12":[141],"known":[142],"bugs":[143],"uncover":[145],"5":[146],"types":[147],"common":[149],"misconceptions":[150],"associated":[151],"libraries.":[155],"Given":[156],"that":[157],"is":[160],"essential":[161],"ensuring":[163],"correctness":[164],"robustness,":[166],"design":[168],"holds":[171],"promise":[172],"extending":[174],"these":[175],"benefits":[177],"realm":[180]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-02-23T20:09:44.859080","created_date":"2025-12-08T00:00:00"}