{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:04:44Z","timestamp":1740096284459,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642538612"},{"type":"electronic","value":"9783642538629"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-53862-9_67","type":"book-chapter","created":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T00:55:17Z","timestamp":1386723317000},"page":"527-535","source":"Crossref","is-referenced-by-count":3,"title":["Feasibility of Property-Based Testing for Time-Dependent Systems"],"prefix":"10.1007","author":[{"given":"Mac\u00edas","family":"L\u00f3pez","sequence":"first","affiliation":[]},{"given":"Laura M.","family":"Castro","sequence":"additional","affiliation":[]},{"given":"David","family":"Cabrero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"67_CR1","first-page":"1","volume-title":"Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, ERLANG 2008","author":"T. Arts","year":"2008","unstructured":"Arts, T., Castro, L.M., Hughes, J.: Testing erlang data types with quviq quickcheck. In: Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, ERLANG 2008, pp. 1\u20138. ACM, New York (2008), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/1411273.1411275"},{"key":"67_CR2","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: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, ERLANG 2006, pp. 2\u201310. ACM, New York (2006), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/1159789.1159792"},{"key":"67_CR3","unstructured":"Castro, L.M.: On the Development Life Cycle of Distributed Functional Applications: a case study. Ph.D. thesis, Faculty of Computer Science, A Corua (2010)"},{"key":"67_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.entcs.2011.02.010","volume":"271","author":"L.M. Castro","year":"2011","unstructured":"Castro, L.M., Arts, T.: Testing data consistency of data-intensive applications using quickcheck. Electron. Notes Theor. Comput. Sci.\u00a0271, 41\u201362 (2011), \n                    \n                      http:\/\/dx.doi.org\/10.1016\/j.entcs.2011.02.010","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"67_CR5","unstructured":"Castro, L.M., Francisco, M.A., Gul\u00edas, V.M.: Testing integration of applications with QuickCheck. In: Intl. Conference on Computer Aided Systems Theory (2009)"},{"key":"67_CR6","doi-asserted-by":"crossref","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: 14th ACM SIGPLAN International Conference on Functional Programming. ACM Press (2009)","DOI":"10.1145\/1596550.1596574"},{"key":"67_CR7","doi-asserted-by":"crossref","unstructured":"Paladi, N., Arts, T.: Model based testing of data constraints: Testing the business logic of a mnesia database application with Quviq QuickCheck. In: 8th ACM SIGPLAN Workshop on Erlang (2009)","DOI":"10.1145\/1596600.1596611"},{"key":"67_CR8","unstructured":"Petrenko, A.: Why automata models are sexy for testers (invited talk). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2007)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-53862-9_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T07:06:46Z","timestamp":1558768006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-53862-9_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642538612","9783642538629"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-53862-9_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}