{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:57:19Z","timestamp":1725569839354},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_13","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T12:12:58Z","timestamp":1289477578000},"page":"250-271","source":"Crossref","is-referenced-by-count":11,"title":["Property-Based Testing - The ProTest Project"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Neil","family":"Walkinshaw","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Arts","sequence":"additional","affiliation":[]},{"given":"Clara","family":"Benac Earle","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Cesarini","sequence":"additional","affiliation":[]},{"given":"Lars-Ake","family":"Fredlund","sequence":"additional","affiliation":[]},{"given":"Victor","family":"Gulias","sequence":"additional","affiliation":[]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Arts, T., Castro, L.M., Hughes, J.: Testing Erlang data types with Quviq QuickCheck. In: Teoh and Horv\u00e1th DBLP:conf\/erlang\/2008, pp. 1\u20138 (2008)","DOI":"10.1145\/1411273.1411275"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-540-31848-4_10","volume-title":"Formal Approaches to Software Testing","author":"T. Arts","year":"2005","unstructured":"Arts, T., Claessen, K., Svensson, H.: Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 140\u2013154. Springer, Heidelberg (2005)"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/592849.592852","volume-title":"Erlang Workshop","author":"T. Arts","year":"2002","unstructured":"Arts, T., Fredlund, L.-\u00c5.: Trace analysis of Erlang programs. In: Page, R.L., Hughes, J. (eds.) Erlang Workshop, pp. 16\u201323. ACM, New York (2002)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1159789.1159792","volume-title":"Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang (Erlang 2006)","author":"T. Arts","year":"2006","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing Telecoms Software with Quviq Quickcheck. In: Feeley, M., Trinder, P.W. (eds.) Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang (Erlang 2006), pp. 2\u201310. ACM Press, New York (2006)"},{"key":"13_CR5","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":"13_CR6","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP, pp. 268\u2013279 (2000)","DOI":"10.1145\/351240.351266"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/1596550.1596574","volume-title":"ICFP","author":"K. Claessen","year":"2009","unstructured":"Claessen, K., Palka, M., Smallbone, N., Hughes, J., Svensson, H., Arts, T., Wiger, U.: Finding race conditions in Erlang with QuickCheck and PULSE. In: ICFP, pp. 149\u2013160. ACM, New York (2009)"},{"key":"13_CR8","unstructured":"Earle, C.B., Fredlund, L.-\u00c5.: Recent improvements to the McErlang model checker. In: Erlang Workshop, pp. 93\u2013100 (2009)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-00431-5_3","volume-title":"Model Checking and Artificial Intelligence","author":"C.B. Earle","year":"2009","unstructured":"Earle, C.B., Fredlund, L.-\u00c5., Iglesias, J.A., Ledezma, A.: Verifying robocup teams. In: Peled, D.A., Wooldridge, M.J. (eds.) MoChArt 2008. LNCS, vol.\u00a05348, pp. 34\u201348. Springer, Heidelberg (2009)"},{"volume-title":"Proceedings of the 8th ACM SIGPLAN Workshop on Erlang","year":"2009","key":"13_CR10","unstructured":"Earle, C.B., Thompson, S.J. (eds.): Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5. ACM, New York (2009)"},{"volume-title":"Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008","year":"2008","key":"13_CR11","unstructured":"Gl\u00fcck, R., de Moor, O. (eds.): Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8. ACM, New York (2008)"},{"key":"13_CR12","first-page":"621","volume-title":"ICSE","author":"A. Groce","year":"2007","unstructured":"Groce, A., Holzmann, G.J.: Randomized differential testing as a prelude to formal verification. In: ICSE, pp. 621\u2013631. IEEE Computer Society, Los Alamitos (2007)"},{"key":"13_CR13","unstructured":"Hughes, J.: Formal Specification for Free!. In: Erlang Workshop (2008)"},{"key":"13_CR14","first-page":"197","volume-title":"SCAM","author":"H. Li","year":"2006","unstructured":"Li, H., Thompson, S.: Comparative Study of Refactoring Haskell and Erlang Programs. In: SCAM, pp. 197\u2013206. IEEE Computer Society, Los Alamitos (2006)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Li, H., Thompson, S.J.: Tool support for refactoring functional programs. In: Gl\u00fcck and de\u00a0Moor\/pepm\/2008, pp. 199\u2013203 (2008)","DOI":"10.1145\/1328408.1328437"},{"issue":"4","key":"13_CR16","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2005.02.053","volume":"141","author":"H. Li","year":"2005","unstructured":"Li, H., Thompson, S., Reinke, C.: The Haskell Refactorer, HaRe, and its API. Electr. Notes Theor. Comput. Sci.\u00a0141(4), 29\u201334 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Sultana, N., Thompson, S.J.: Mechanical verification of refactorings. In: pepm, pp. 51\u201360 (2008)","DOI":"10.1145\/1328408.1328417"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Svensson, H.: Implementing an ltl-to-b\u00fcchi translator in erlang: a protest experience report. In: Erlang Workshop, pp. 63\u201370 (2009)","DOI":"10.1145\/1596600.1596610"},{"volume-title":"Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada","year":"2008","key":"13_CR19","unstructured":"Teoh, S.T., Horv\u00e1th, Z. (eds.): Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, Se ptember 27. ACM, New York (2008)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/11546382_9","volume-title":"Advanced Functional Programming","author":"S. Thompson","year":"2005","unstructured":"Thompson, S.: Refactoring functional programs. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol.\u00a03622, pp. 331\u2013357. Springer, Heidelberg (2005)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Derrrick, J.: Incrementally discovering testable specifications from program executions. In: FMCO (2009)","DOI":"10.1007\/978-3-642-17071-3_14"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-05089-3_20","volume-title":"FM 2009: Formal Methods","author":"N. Walkinshaw","year":"2009","unstructured":"Walkinshaw, N., Derrick, J., Guo, Q.: Iterative refinement of reverse-engineered models by model-based testing. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 305\u2013320. Springer, Heidelberg (2009)"},{"issue":"2","key":"13_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng.\u00a028(2), 183\u2013200 (2002)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:56:54Z","timestamp":1559800614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":23,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-642-17071-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}
