{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:36:50Z","timestamp":1784342210507,"version":"3.55.0"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100002911","name":"Universidad Complutense de Madrid","doi-asserted-by":"publisher","award":["PR26\/16-21B-2"],"award-info":[{"award-number":["PR26\/16-21B-2"]}],"id":[{"id":"10.13039\/501100002911","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008433","name":"Consejer\u00eda de Educaci\u00f3n, Juventud y Deporte, Comunidad de Madrid","doi-asserted-by":"publisher","award":["S2018\/TCS-4339"],"award-info":[{"award-number":["S2018\/TCS-4339"]}],"id":[{"id":"10.13039\/501100008433","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FORTE-CM","award":["S2018\/TCS-4314"],"award-info":[{"award-number":["S2018\/TCS-4314"]}]},{"name":"co-funded by the Fondos Estructurales y de Inversi\u00f3n Europeos (EIE) of the European Union"},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2015-67522-C3-3-R"],"award-info":[{"award-number":["TIN2015-67522-C3-3-R"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"name":"LOBASS","award":["TIN2015-69175-C4-2-R"],"award-info":[{"award-number":["TIN2015-69175-C4-2-R"]}]},{"DOI":"10.13039\/501100004837","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["RTI2018-094403-B-C31"],"award-info":[{"award-number":["RTI2018-094403-B-C31"]}],"id":[{"id":"10.13039\/501100004837","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2947361","type":"journal-article","created":{"date-parts":[[2019,10,14]],"date-time":"2019-10-14T19:23:13Z","timestamp":1571080993000},"page":"150369-150382","source":"Crossref","is-referenced-by-count":12,"title":["FlinkCheck: Property-Based Testing for Apache Flink"],"prefix":"10.1109","volume":"7","author":[{"given":"Cristina Valentina","family":"Espinosa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1664-018X","authenticated-orcid":false,"given":"Enrique","family":"Martin-Martin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9716-4612","authenticated-orcid":false,"given":"Adrian","family":"Riesco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan","family":"Rodriguez-Hortala","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2005.26"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/753821"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2750918"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE-Berlin.2016.7684759"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927043"},{"key":"ref30","year":"2019","journal-title":"Testing Kafka Streams"},{"key":"ref37","author":"halbwachs","year":"1992","journal-title":"Synchronous Programming of Reactive Systems"},{"key":"ref36","author":"juric","year":"2019","journal-title":"Elixir in Action"},{"key":"ref35","year":"2019","journal-title":"StreamData Property-Based Testing and Data Generation for Elixir"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_7"},{"key":"ref28","author":"karau","year":"2015","journal-title":"Spark-Testing-Base"},{"key":"ref27","year":"2016","journal-title":"Apache Spark Team"},{"key":"ref29","author":"narkhede","year":"2017","journal-title":"Kafka—The Definitive Guide"},{"key":"ref2","year":"2019","journal-title":"Amazon Kinesis Data Analytics"},{"key":"ref1","first-page":"28","article-title":"Apache flink: Stream and batch processing in a single engine","volume":"38","author":"carbone","year":"2015","journal-title":"IEEE Data Eng Bull"},{"key":"ref20","author":"blackburn","year":"2006","journal-title":"Handbook of Modal Logic"},{"key":"ref22","first-page":"1601","article-title":"MOA: Massive online analysis","volume":"11","author":"bifet","year":"2010","journal-title":"J Mach Learn Res"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522737"},{"key":"ref24","author":"torreborre","year":"0","journal-title":"Specs2 Software Specifications for Scala"},{"key":"ref23","year":"2019","journal-title":"Travis CI Documentation Customizing the Build Build Timeouts"},{"key":"ref26","year":"2019","journal-title":"SBT—The Interactive Build Tool"},{"key":"ref25","year":"2019","journal-title":"Apache Flink Training"},{"key":"ref50","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/1273920.1273930","author":"fischer","year":"2007","journal-title":"Proc 9th ACM SIGPLAN Int Conf Princ Pract Declarative Program"},{"key":"ref10","author":"akidau","year":"2018","journal-title":"Streaming Systems The What Where When and How of Large-Scale Data Processing"},{"key":"ref11","author":"white","year":"2012","journal-title":"Hadoop The Definitive Guide"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3339002"},{"key":"ref12","author":"hueske","year":"2019","journal-title":"Stream Processing with Apache Flink Fundamentals Implementation and Operation of Streaming Applications"},{"key":"ref13","author":"nilsson","year":"2014","journal-title":"ScalaCheck The Definitive Guide"},{"key":"ref14","article-title":"An overview of the scala programming language","author":"odersky","year":"2004"},{"key":"ref15","author":"chiao","year":"0","journal-title":"HarassMap |Stop Sexual Harassment"},{"key":"ref16","first-page":"1","article-title":"Cooperative networks in interor-ganizational settings: Analyzing cyber-collective action","author":"yuce","year":"2013","journal-title":"Proc Workshop Multiagent Interact Syst Netw (MAIN)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034663"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07151-0_1"},{"key":"ref4","year":"2019","journal-title":"Huawei Cloud Stream Service"},{"key":"ref3","year":"2019","journal-title":"Realtime Compute"},{"key":"ref6","author":"meszaros","year":"2007","journal-title":"xUnit Test Patterns Refactoring Test Code"},{"key":"ref5","year":"2019","journal-title":"Flink Testing Documentation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754696"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000012"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2016.02.004"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.07.013"},{"key":"ref48","article-title":"The art, science, and engineering of fuzzing: A survey","author":"manes","year":"2018","journal-title":"arXiv 1812 00140"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00063-6"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330576"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00107"},{"key":"ref44","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511843747","author":"mcgeoch","year":"2012","journal-title":"A Guide to Experimental Algorithmics"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092711"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08868163.pdf?arnumber=8868163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T17:23:53Z","timestamp":1695317033000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8868163\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2947361","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}