{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:11Z","timestamp":1762459391780,"version":"3.41.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319411347"},{"type":"electronic","value":"9783319411354"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-41135-4_10","type":"book-chapter","created":{"date-parts":[[2016,6,20]],"date-time":"2016-06-20T16:23:38Z","timestamp":1466439818000},"page":"171-180","source":"Crossref","is-referenced-by-count":1,"title":["Debugging Meets Testing in Erlang"],"prefix":"10.1007","author":[{"given":"Salvador","family":"Tamarit","sequence":"first","affiliation":[]},{"given":"Adri\u00e1n","family":"Riesco","sequence":"additional","affiliation":[]},{"given":"Enrique","family":"Martin-Martin","sequence":"additional","affiliation":[]},{"given":"Rafael","family":"Caballero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"key":"10_CR1","volume-title":"Scenarios, Stories, Use Cases: Through the Systems Development Life-cycle","author":"IF Alexander","year":"2005","unstructured":"Alexander, I.F., Maiden, N.: Scenarios, Stories, Use Cases: Through the Systems Development Life-cycle. Wiley, New York (2005)"},{"issue":"5","key":"10_CR2","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"E Barr","year":"2015","unstructured":"Barr, E., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507\u2013525 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1007\/978-3-642-54862-8_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Caballero","year":"2014","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: EDD: a declarative debugger for sequential erlang programs. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 581\u2013586. Springer, Heidelberg (2014)"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.scico.2015.06.011","volume":"110","author":"R Caballero","year":"2015","unstructured":"Caballero, R., Martin-Martin, E., Riesco, A., Tamarit, S.: A zoom-declarative debugger for sequential Erlang programs. Sci. Comput. Program. 110, 104\u2013118 (2015)","journal-title":"Sci. Comput. Program."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Carlsson, R., R\u00e9mond, M.: EUnit: a lightweight unit testing framework for Erlang. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, ERLANG 2006, p. 1. ACM, New York (2006)","DOI":"10.1145\/1159789.1159791"},{"key":"10_CR6","volume-title":"Programming Erlang: A Concurrent Approach to Software Development","author":"F Cesarini","year":"2009","unstructured":"Cesarini, F., Thompson, S.: Programming Erlang: A Concurrent Approach to Software Development. O\u2019Reilly Media Inc., Beijing (2009)"},{"key":"10_CR7","unstructured":"Hebert, F.: Learn You Some Erlang for Great Good!: A Beginner\u2019s Guide. No Starch Press (2013). http:\/\/learnyousomeerlang.com"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Papadakis, M., Sagonas, K.: A PropEr integration of types and function specifications with property-based testing. In: Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, pp. 39\u201350. ACM Press (2011)","DOI":"10.1145\/2034654.2034663"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. ACM Distinguished Dissertation. MIT Press, Cambridge (1983)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"issue":"11","key":"10_CR10","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1016\/j.advengsoft.2011.05.024","volume":"42","author":"J Silva","year":"2011","unstructured":"Silva, J.: A survey on algorithmic debugging strategies. Adv. Eng. Softw. 42(11), 976\u2013991 (2011)","journal-title":"Adv. Eng. Softw."}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41135-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T22:17:10Z","timestamp":1748989030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41135-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319411347","9783319411354"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41135-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}