{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:29:26Z","timestamp":1743128966072,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540853725"},{"type":"electronic","value":"9783540853732"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85373-2_2","type":"book-chapter","created":{"date-parts":[[2008,8,20]],"date-time":"2008-08-20T11:34:54Z","timestamp":1219232094000},"page":"19-36","source":"Crossref","is-referenced-by-count":8,"title":["Testing Erlang Refactorings with QuickCheck"],"prefix":"10.1007","author":[{"given":"Huiqing","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang. 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"2_CR2","volume-title":"Proceedings of the Fifth ACM SIGPLAN Erlang Workshop","author":"T. Arts","year":"2006","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing Telecoms Software with Quviq QuickCheck. In: Trinder, P. (ed.) Proceedings of the Fifth ACM SIGPLAN Erlang Workshop. ACM Press, New York (2006)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1159789.1159791","volume-title":"ERLANG 2006: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang","author":"R. Carlsson","year":"2006","unstructured":"Carlsson, R., R\u00e9mond, M.: Eunit: a lightweight unit testing framework for erlang. In: ERLANG 2006: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang, p. 1. ACM Press, New York (2006)"},{"issue":"9","key":"2_CR4","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/357766.351266","volume":"35","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a Lightweight Tool for Random Testing of Haskell Programs. ACM SIGPLAN Notices\u00a035(9), 268\u2013279 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"2_CR5","volume-title":"ESEC\/FSE 2007: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"B. Daniel","year":"2007","unstructured":"Daniel, B., Dig, D., Garcia, K., Marinov, D.: Automated testing of refactoring engines. In: ESEC\/FSE 2007: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 2007. ACM Press, New York (2007)"},{"key":"2_CR6","unstructured":"FORSE. Formally-Based Tool Support for Erlang Development, \n                    http:\/\/www.cs.kent.ac.uk\/projects\/forse\/"},{"key":"2_CR7","unstructured":"Fowler, M.: Refactoring Home Page, \n                    http:\/\/www.refactoring.com"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69611-7_1","volume-title":"Practical Aspects of Declarative Languages","author":"J. Hughes","year":"2006","unstructured":"Hughes, J.: QuickCheck Testing for Fun and Profit. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 1\u201332. Springer, Heidelberg (2006)"},{"key":"2_CR9","unstructured":"Li, H.: Refactoring Haskell Programs. PhD thesis, Computing Laboratory, University of Kent, Canterbury, Kent, UK (September 2006)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Li, H., Reinke, C., Thompson, S.: Tool Support for Refactoring Functional Programs. In: Jeuring, J. (ed.) ACM SIGPLAN Haskell Workshop, Uppsala, Sweden (August 2003)","DOI":"10.1145\/871895.871899"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1109\/SCAM.2006.8","volume-title":"Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006)","author":"H. Li","year":"2006","unstructured":"Li, H., Thompson, S.: A Comparative Study of Refactoring Haskell and Erlang Programs. In: Di Penta, M., Moonen, L. (eds.) Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), September 2006, pp. 197\u2013206. IEEE, Los Alamitos (2006)"},{"key":"2_CR12","unstructured":"Li, H., Thompson, S., L\u00f6vei, L., Horv\u00e1th, Z., Kozsik, T., V\u00edg, A., Nagy, T.: Refactoring Erlang Programs. In: The Proceedings of 12th International Erlang\/OTP User Conference, Stockholm, Sweden (November 2006)"},{"key":"2_CR13","unstructured":"Gorrie, L.: Distel: Distributed Emacs Lisp (for Erlang). In: Eighth International Erlang\/OTP User Conference"},{"key":"2_CR14","unstructured":"Carlsson, R.: Erlang Syntax Tools, \n                    http:\/\/www.erlang.org\/doc\/doc-5.4.12\/lib\/syntax_tools-1.4.3"},{"key":"2_CR15","unstructured":"Sultana, N.: Verification of Refactorings in Isabelle\/HOL. Master\u2019s thesis, Computing Laboratory, University of Kent, UK (September 2007)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85373-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T05:04:41Z","timestamp":1715144681000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-85373-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540853725","9783540853732"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85373-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}