{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T11:25:28Z","timestamp":1784028328191,"version":"3.55.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031673207","type":"print"},{"value":"9783031673214","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-67321-4_6","type":"book-chapter","created":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T16:02:07Z","timestamp":1724515327000},"page":"100-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Domain Specific Language for\u00a0Testing Distributed Protocol Implementations"],"prefix":"10.1007","author":[{"given":"Cezara","family":"Dragoi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Srinidhi","family":"Nagendra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mandayam","family":"Srivas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,8,25]]},"reference":[{"key":"6_CR1","unstructured":"Jepsen (2020). https:\/\/jepsen.io"},{"key":"6_CR2","unstructured":"Viewstamped Replication made famous (2020). https:\/\/github.com\/coilhq\/viewstamped-replication-made-famous"},{"key":"6_CR3","unstructured":". Rust Shuttle Model checker (2021). https:\/\/github.com\/awslabs\/shuttle"},{"key":"6_CR4","unstructured":"Kotlin Lincheck (2023). https:\/\/github.com\/Kotlin\/kotlinx-lincheck"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: Jagannathan, S., Sewell, P. (eds.) The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201914, San Diego, CA, USA, 20\u201321 January 2014, pp. 373\u2013384. ACM (2014). https:\/\/doi.org\/10.1145\/2535838.2535845","DOI":"10.1145\/2535838.2535845"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Bessani, A.N., Sousa, J., Alchieri, E.A.P.: State machine replication for the masses with BFT-SMART. In: 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, 23\u201326 June 2014, pp. 355\u2013362. IEEE Computer Society (2014)https:\/\/doi.org\/10.1109\/DSN.2014.43","DOI":"10.1109\/DSN.2014.43"},{"key":"6_CR7","unstructured":"Buchman, E., Kwon, J., Milosevic, Z.: The latest gossip on BFT consensus. CoRR arxiv:1807.04938 (2018)"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Burckhardt, S., Kothari, P., Musuvathi, M., Nagarakatte, S.: A randomized scheduler with probabilistic guarantees of finding bugs. SIGARCH Comput. Archit. News 38(1), 167\u2013178 (2010) https:\/\/doi.org\/10.1145\/1735970.1736040","DOI":"10.1145\/1735970.1736040"},{"key":"6_CR9","unstructured":"Castro, M., Liskov, B.: Practical byzantine fault tolerance. In: Proceedings of the Third Symposium on Operating Systems Design and Implementation, OSDI 1999, pp. 173\u2013186. USENIX Association, USA (1999)"},{"key":"6_CR10","unstructured":"Delgado, P.: Distal: Domain-specific language for implementing distributed algorithms (2012). http:\/\/infoscience.epfl.ch\/record\/187164"},{"issue":"6","key":"6_CR11","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1145\/2813885.2737996","volume":"50","author":"P Deligiannis","year":"2015","unstructured":"Deligiannis, P., Donaldson, A.F., Ketema, J., Lal, A., Thomson, P.: Asynchronous programming, analysis and testing with state machines. SIGPLAN Not. 50(6), 154\u2013164 (2015). https:\/\/doi.org\/10.1145\/2813885.2737996","journal-title":"SIGPLAN Not."},{"key":"6_CR12","unstructured":"Deligiannis, P., et al.: Uncovering bugs in distributed storage systems during testing (not in production!). In: Brown, A.D., Popovici, F.I. (eds.) 14th USENIX Conference on File and Storage Technologies, FAST 2016, Santa Clara, CA, USA, 22\u201325 February 2016, pp. 249\u2013262. USENIX Association (2016). https:\/\/www.usenix.org\/conference\/fast16\/technical-sessions\/presentation\/deligiannis"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Desai, A., Phanishayee, A., Qadeer, S., Seshia, S.A.: Compositional programming and testing of dynamic distributed systems. Proc. ACM Program. Lang. 2(OOPSLA) (2018). https:\/\/doi.org\/10.1145\/3276529","DOI":"10.1145\/3276529"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Dragoi, C., Enea, C., Ozkan, B.K., Majumdar, R., Niksic, F.: Testing consensus implementations using communication closure. Proc. ACM Program. Lang. 4(OOPSLA), 210:1\u2013210:29 (2020). https:\/\/doi.org\/10.1145\/3428278","DOI":"10.1145\/3428278"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"Elmas, T., Burnim, J., Necula, G., Sen, K.: Concurrit: a domain specific language for reproducing concurrency bugs. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, pp. 153\u2013164. Association for Computing Machinery, New York (2013). https:\/\/doi.org\/10.1145\/2491956.2462162","DOI":"10.1145\/2491956.2462162"},{"key":"6_CR16","unstructured":"Killian, C.E., Anderson, J.W., Jhala, R., Vahdat, A.: Life, death, and the critical transition: Finding liveness bugs in systems code (awarded best paper). In: Balakrishnan, H., Druschel, P. (eds.) 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), Cambridge, Massachusetts, USA, 11\u201313 April 2007, Proceedings. USENIX (2007). http:\/\/www.usenix.org\/events\/nsdi07\/tech\/killian.html"},{"key":"6_CR17","unstructured":"Kingsbury, K.: Jepsen: Cassandra (2013). https:\/\/aphyr.com\/posts\/294-call-me-maybe-cassandra"},{"key":"6_CR18","unstructured":"Kingsbury, K.: Redis-raft 1b3fbf6 (2020). https:\/\/jepsen.io\/analyses\/redis-raft-1b3fbf6"},{"key":"6_CR19","unstructured":"Leesatapornwongsa, T., Hao, M., Joshi, P., Lukman, J.F., Gunawi, H.S.: Samc: semantic-aware model checking for fast discovery of deep bugs in cloud systems. In: Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation, OSDI 2014, pp. 399\u2013414. USENIX Association (2014)"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Lukman, J.F., et al.: Flymc: highly scalable testing of complex interleavings in distributed systems. In: Candea, G., van Renesse, R., Fetzer, C. (eds.) Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, 25\u201328 March 2019, pp. 20:1\u201320:16. ACM (2019). https:\/\/doi.org\/10.1145\/3302424.3303986","DOI":"10.1145\/3302424.3303986"},{"key":"6_CR21","unstructured":"Ongaro, D., Ousterhout, J.: In search of an understandable consensus algorithm. In: 2014 USENIX Annual Technical Conference (USENIX ATC 14), pp. 305\u2013319. USENIX Association, Philadelphia (2014). https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/ongaro"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Ozkan, B.K., Majumdar, R., Niksic, F., Befrouei, M.T., Weissenbacher, G.: Randomized testing of distributed systems with probabilistic guarantees. Proc. ACM Program. Lang. 2(OOPSLA) (2018). https:\/\/doi.org\/10.1145\/3276530","DOI":"10.1145\/3276530"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Ozkan, B.K., Majumdar, R., Oraee, S.: Trace aware random testing for distributed systems. Proc. ACM Program. Lang. 3(OOPSLA), 180:1\u2013180:29 (2019). https:\/\/doi.org\/10.1145\/3360606","DOI":"10.1145\/3360606"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Sousa, J., Bessani, A.N.: From byzantine consensus to BFT state machine replication: A latency-optimal transformation. In: Constantinescu, C., Correia, M.P. (eds.) 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, 8\u201311 May 2012, pp. 37\u201348. IEEE Computer Society (2012). https:\/\/doi.org\/10.1109\/EDCC.2012.32","DOI":"10.1109\/EDCC.2012.32"},{"key":"6_CR25","unstructured":"Yabandeh, M., Knezevic, N., Kostic, D., Kuncak, V.: Crystalball: Predicting and preventing inconsistencies in deployed distributed systems. In: Rexford, J., Sirer, E.G. (eds.) Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009, Boston, MA, USA, 22\u201324 April 2009, pp. 229\u2013244. USENIX Association (2009). http:\/\/www.usenix.org\/events\/nsdi09\/tech\/full_papers\/yabandeh\/yabandeh.pdf"},{"key":"6_CR26","unstructured":"Yang, J., et al.: Modist: transparent model checking of unmodified distributed systems. In: Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2009, pp. 213\u2013228. USENIX Association (2009)"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-319-96142-2_20","volume-title":"Computer Aided Verification","author":"X Yuan","year":"2018","unstructured":"Yuan, X., Yang, J., Gu, R.: Partial order aware concurrency sampling. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10982, pp. 317\u2013335. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96142-2_20"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-67321-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T16:02:53Z","timestamp":1724515373000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-67321-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031673207","9783031673214"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-67321-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"25 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NETYS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Networked Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rabat","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 May 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 May 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"netys2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/netys.net\/committees\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}