{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:42Z","timestamp":1740098922292,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668444"},{"type":"electronic","value":"9783319668451"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66845-1_15","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:37:20Z","timestamp":1503747440000},"page":"227-242","source":"Crossref","is-referenced-by-count":3,"title":["Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Aronis","sequence":"first","affiliation":[]},{"given":"Scott Lystig","family":"Fritchie","sequence":"additional","affiliation":[]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, pp. 373\u2013384. ACM, New York (2014). doi:\n10.1145\/2535838.2535845","DOI":"10.1145\/2535838.2535845"},{"issue":"9","key":"15_CR2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Commun. ACM 53(9), 68\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"15_CR3","doi-asserted-by":"publisher","unstructured":"Burckhardt, S., Kothari, P., Musuvathi, M., Nagarakatte, S.: A randomized scheduler with probabilistic guarantees of finding bugs. In: Proceedings of ASPLOS, ASPLOS XV, pp. 167\u2013178. ACM, New York (2010). doi:\n10.1145\/1736020.1736040","DOI":"10.1145\/1736020.1736040"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Christakis, M., Gotovos, A., Sagonas, K.: Systematic testing for detecting concurrency errors in Erlang programs. In: Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013), pp. 154\u2013163. IEEE Computer Society (2013)","DOI":"10.1109\/ICST.2013.50"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Deligiannis, P., Donaldson, A.F., Ketema, J., Lal, A., Thomson, P.: Asynchronous programming, analysis and testing with state machines. In: Proceedings of the 36th PLDI, PLDI 2015, pp. 154\u2013164 (2015). doi:\n10.1145\/2737924.2737996","DOI":"10.1145\/2737924.2737996"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Emmi, M., Qadeer, S., Rakamari\u0107, Z.: Delay-bounded scheduling. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, pp. 411\u2013422. ACM, New York (2011)","DOI":"10.1145\/1926385.1926432"},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Fritchie, S.L.: Chain replication in theory and in practice. In: Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, Erlang 2010, pp. 33\u201344. ACM, New York (2010). doi:\n10.1145\/1863509.1863515","DOI":"10.1145\/1863509.1863515"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Geambasu, R., Birrell, A., MacCormick, J.: Experiences with formal specification of fault-tolerant file systems. In: IEEE International Conference on Dependable Systems and Networks With FTCS and DCC, DSN 2008, pp. 96\u2013101. IEEE (2008)","DOI":"10.1109\/DSN.2008.4630075"},{"key":"15_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"P Godefroid","year":"1996","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. Springer-Verlag New York Inc., Secaucus (1996)"},{"key":"15_CR10","doi-asserted-by":"publisher","unstructured":"Godefroid, P.: Model checking for programming languages using VeriSoft. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1997, pp. 174\u2013186. ACM, New York (1997). doi:\n10.1145\/263699.263717","DOI":"10.1145\/263699.263717"},{"issue":"2","key":"15_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10703-005-1489-x","volume":"26","author":"P Godefroid","year":"2005","unstructured":"Godefroid, P.: Software model checking: the VeriSoft approach. Form. Methods Syst. Des. 26(2), 77\u2013101 (2005). doi:\n10.1007\/s10703-005-1489-x","journal-title":"Form. Methods Syst. Des."},{"key":"15_CR12","doi-asserted-by":"publisher","unstructured":"Gotovos, A., Christakis, M., Sagonas, K.: Test-driven development of concurrent programs using Concuerror. In: Proceedings of the 10th ACM SIGPLAN Workshop on Erlang, Erlang 2011, pp. 51\u201361. ACM, New York (2011). doi:\n10.1145\/2034654.2034664","DOI":"10.1145\/2034654.2034664"},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/2146382.2146391","volume":"46","author":"D Malkhi","year":"2012","unstructured":"Malkhi, D., Balakrishnan, M., Davis, J.D., Prabhakaran, V., Wobber, T.: From Paxos to CORFU: a flash-speed shared log. SIGOPS Oper. Syst. Rev. 46(1), 47\u201351 (2012). doi:\n10.1145\/2146382.2146391","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"15_CR14","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI 2008, pp. 267\u2013280. USENIX Association, Berkeley (2008)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-31980-1_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Qadeer","year":"2005","unstructured":"Qadeer, S., Rehof, J.: Context-bounded model checking of concurrent software. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 93\u2013107. Springer, Heidelberg (2005). doi:\n10.1007\/978-3-540-31980-1_7"},{"key":"15_CR16","unstructured":"van Renesse, R., Schneider, F.B.: Chain replication for supporting high throughput and availability. In: Proceedings of the 6th Conference on Symposium on Operating Systems Design & Implementation, OSDI 2004, pp. 91\u2013104. USENIX, Berkeley (2004)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Schiper, N., Rahli, V., van Renesse, R., Bickford, M., Constable, R.L.: Developing correctly replicated databases using formal tools. In: 2014 44th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 395\u2013406. IEEE (2014)","DOI":"10.1109\/DSN.2014.45"},{"issue":"4","key":"15_CR18","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/2858651","volume":"2","author":"P Thomson","year":"2016","unstructured":"Thomson, P., Donaldson, A.F., Betts, A.: Concurrency testing using controlled schedulers: an empirical study. ACM Trans. Parallel Comput. 2(4), 23:1\u201323:37 (2016). doi:\n10.1145\/2858651","journal-title":"ACM Trans. Parallel Comput."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:42:01Z","timestamp":1503747721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}