{"id":"https://openalex.org/W2606583141","doi":"https://doi.org/10.1145/3064889.3064893","title":"Testing properties of weakly consistent programs with Repliss","display_name":"Testing properties of weakly consistent programs with Repliss","publication_year":2017,"publication_date":"2017-04-21","ids":{"openalex":"https://openalex.org/W2606583141","doi":"https://doi.org/10.1145/3064889.3064893","mag":"2606583141"},"language":"en","primary_location":{"id":"doi:10.1145/3064889.3064893","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3064889.3064893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data","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/A5055013732","display_name":"Peter Zeller","orcid":"https://orcid.org/0000-0001-7859-2219"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Peter Zeller","raw_affiliation_strings":["TU Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"TU Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5055013732"],"corresponding_institution_ids":["https://openalex.org/I153267046"],"apc_list":null,"apc_paid":null,"fwci":2.7135,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.90455305,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.8007022142410278},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7717186808586121},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6409192681312561},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.514940083026886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49891090393066406},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.49729183316230774},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4260060489177704},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38364243507385254},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3373299241065979},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.24228930473327637},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15897297859191895},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.12166056036949158},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10345694422721863}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.8007022142410278},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7717186808586121},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6409192681312561},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.514940083026886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49891090393066406},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.49729183316230774},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4260060489177704},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38364243507385254},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3373299241065979},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.24228930473327637},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15897297859191895},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.12166056036949158},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10345694422721863},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3064889.3064893","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3064889.3064893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8399999737739563,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1689093460","https://openalex.org/W1820726602","https://openalex.org/W2001914359","https://openalex.org/W2096425305","https://openalex.org/W2106192381","https://openalex.org/W2119717320","https://openalex.org/W2138000960","https://openalex.org/W2143725230","https://openalex.org/W2288327952","https://openalex.org/W2294814664","https://openalex.org/W2476146301","https://openalex.org/W4238387639","https://openalex.org/W4244488020","https://openalex.org/W4250846042"],"related_works":["https://openalex.org/W2280422768","https://openalex.org/W3143197806","https://openalex.org/W4252555497","https://openalex.org/W3121175838","https://openalex.org/W3016293053","https://openalex.org/W1690653314","https://openalex.org/W2401723157","https://openalex.org/W2065055572","https://openalex.org/W2784269775","https://openalex.org/W2952904874"],"abstract_inverted_index":{"Repliss":[0,54,93],"is":[1,52],"a":[2,36,60,79,87],"tool":[3],"for":[4,46],"the":[5,56,63,91],"verification":[6],"of":[7,14,21,35,62],"programs":[8],"which":[9],"are":[10,69],"built":[11,25],"on":[12],"top":[13],"weakly":[15],"consistent":[16],"databases.":[17],"As":[18],"one":[19],"part":[20],"Repliss,":[22],"we":[23],"have":[24],"an":[26,50],"automated,":[27],"property":[28],"based":[29],"testing":[30,88],"engine.":[31],"It":[32],"explores":[33],"executions":[34],"given":[37],"application":[38],"with":[39,90],"randomized":[40],"invocations":[41],"and":[42,58,84],"scheduling":[43],"while":[44],"checking":[45],"invariant":[47,51,76],"violations.":[48],"When":[49],"broken,":[53],"minimizes":[55],"execution":[57],"displays":[59],"visualization":[61],"minimized":[64],"failing":[65],"execution.":[66],"Our":[67],"contributions":[68],"1.":[70],"heuristics":[71],"used":[72],"to":[73,81],"quickly":[74],"find":[75],"violations,":[77],"2.":[78],"strategy":[80],"shrink":[82],"executions,":[83],"3.":[85],"integrating":[86],"approach":[89],"overall":[92],"tool.":[94]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}