{"id":"https://openalex.org/W2980578521","doi":"https://doi.org/10.1109/access.2019.2947361","title":"FlinkCheck: Property-Based Testing for Apache Flink","display_name":"FlinkCheck: Property-Based Testing for Apache Flink","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2980578521","doi":"https://doi.org/10.1109/access.2019.2947361","mag":"2980578521"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2947361","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2947361","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08868163.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08868163.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027868064","display_name":"Cristina Valentina Espinosa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cristina Valentina Espinosa","raw_affiliation_strings":["Independent Researcher"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Independent Researcher","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028123043","display_name":"Enrique Martin-Martin","orcid":"https://orcid.org/0000-0002-1664-018X"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Enrique Martin-Martin","raw_affiliation_strings":["Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-1664-018X","affiliations":[{"raw_affiliation_string":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048720165","display_name":"Adri\u00e1n Riesco","orcid":"https://orcid.org/0000-0002-9716-4612"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Adrian Riesco","raw_affiliation_strings":["Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-9716-4612","affiliations":[{"raw_affiliation_string":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Complutense de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024844226","display_name":"Juan Rodr\u00edguez-Hortal\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]},{"id":"https://openalex.org/I97750245","display_name":"Software (Spain)","ror":"https://ror.org/02ethns06","country_code":"ES","type":"company","lineage":["https://openalex.org/I4210087817","https://openalex.org/I97750245"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Rodriguez-Hortala","raw_affiliation_strings":["Departamento de Ingenier\u00eda de Software e Inteligencia Artificial, Universidad Complutense de Madrid, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Ingenier\u00eda de Software e Inteligencia Artificial, Universidad Complutense de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I121748325","https://openalex.org/I97750245"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":4.5612,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.9355162,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"7","issue":null,"first_page":"150369","last_page":"150382"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8516977429389954},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6580583453178406},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6476624011993408},{"id":"https://openalex.org/keywords/analytics","display_name":"Analytics","score":0.5367720127105713},{"id":"https://openalex.org/keywords/stream-processing","display_name":"Stream processing","score":0.504001796245575},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.4658276438713074},{"id":"https://openalex.org/keywords/random-testing","display_name":"Random testing","score":0.46296194195747375},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4527266025543213},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.297696590423584},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.21606388688087463},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2020655870437622},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14492201805114746},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11941272020339966}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8516977429389954},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6580583453178406},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6476624011993408},{"id":"https://openalex.org/C79158427","wikidata":"https://www.wikidata.org/wiki/Q485396","display_name":"Analytics","level":2,"score":0.5367720127105713},{"id":"https://openalex.org/C107027933","wikidata":"https://www.wikidata.org/wiki/Q2006448","display_name":"Stream processing","level":2,"score":0.504001796245575},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.4658276438713074},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.46296194195747375},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4527266025543213},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.297696590423584},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.21606388688087463},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2020655870437622},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14492201805114746},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11941272020339966},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2019.2947361","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2947361","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08868163.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:de5d6822839d489d9cd4b3c0fbda5fde","is_oa":true,"landing_page_url":"https://doaj.org/article/de5d6822839d489d9cd4b3c0fbda5fde","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 150369-150382 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2947361","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2947361","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08868163.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Gender equality","id":"https://metadata.un.org/sdg/5","score":0.6800000071525574}],"awards":[{"id":"https://openalex.org/G1308619590","display_name":null,"funder_award_id":"C3-3-R","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G1529554165","display_name":null,"funder_award_id":"TIN2015-67522-C3-3-R","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G1631585423","display_name":null,"funder_award_id":"S2018/TCS-4314","funder_id":"https://openalex.org/F4320324004","funder_display_name":"Forskningsr\u00e5det om H\u00e4lsa, Arbetsliv och V\u00e4lf\u00e4rd"},{"id":"https://openalex.org/G1728446422","display_name":null,"funder_award_id":"RTI2018-094403-B-C31","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G3633770659","display_name":null,"funder_award_id":"PR26/16-21B-2","funder_id":"https://openalex.org/F4320321585","funder_display_name":"Universidad Complutense de Madrid"},{"id":"https://openalex.org/G3864877474","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320325116","funder_display_name":"Consejer\u00eda de Educaci\u00f3n, Juventud y Deporte, Comunidad de Madrid"},{"id":"https://openalex.org/G387917957","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5040290019","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320313831","funder_display_name":"Comunidad de Madrid"},{"id":"https://openalex.org/G5246782814","display_name":null,"funder_award_id":"RTI2018-094403-B-C31","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G5750040818","display_name":null,"funder_award_id":"TIN2015-67522-C3-3-R","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"},{"id":"https://openalex.org/G6298273575","display_name":null,"funder_award_id":"RTI2018","funder_id":"https://openalex.org/F4320335322","funder_display_name":"European Regional Development Fund"},{"id":"https://openalex.org/G637493872","display_name":null,"funder_award_id":"TIN2015-67522-C3-3-R","funder_id":"https://openalex.org/F4320313831","funder_display_name":"Comunidad de Madrid"},{"id":"https://openalex.org/G6894290698","display_name":null,"funder_award_id":"TIN2015-67522-C3-3-R","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G748838940","display_name":null,"funder_award_id":"TIN2015-69175-C4-2-R","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G7797747322","display_name":null,"funder_award_id":"S2018/TCS-4314","funder_id":"https://openalex.org/F4320313831","funder_display_name":"Comunidad de Madrid"}],"funders":[{"id":"https://openalex.org/F4320313831","display_name":"Comunidad de Madrid","ror":null},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321585","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045"},{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320324004","display_name":"Forskningsr\u00e5det om H\u00e4lsa, Arbetsliv och V\u00e4lf\u00e4rd","ror":"https://ror.org/02d290r06"},{"id":"https://openalex.org/F4320325116","display_name":"Consejer\u00eda de Educaci\u00f3n, Juventud y Deporte, Comunidad de Madrid","ror":"https://ror.org/038tahs86"},{"id":"https://openalex.org/F4320335322","display_name":"European Regional Development Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W62843534","https://openalex.org/W1495226832","https://openalex.org/W1541128807","https://openalex.org/W1746999111","https://openalex.org/W1875492031","https://openalex.org/W1976821017","https://openalex.org/W1987557201","https://openalex.org/W2003567321","https://openalex.org/W2030358379","https://openalex.org/W2086082110","https://openalex.org/W2113012730","https://openalex.org/W2119717320","https://openalex.org/W2135335717","https://openalex.org/W2135841285","https://openalex.org/W2139474931","https://openalex.org/W2142840138","https://openalex.org/W2145063062","https://openalex.org/W2325039465","https://openalex.org/W2546787248","https://openalex.org/W2566979091","https://openalex.org/W2613078346","https://openalex.org/W2734788368","https://openalex.org/W2755560870","https://openalex.org/W2885528984","https://openalex.org/W2903305687","https://openalex.org/W2961870034","https://openalex.org/W2962200727","https://openalex.org/W2963212537","https://openalex.org/W2979357014","https://openalex.org/W2995564009","https://openalex.org/W3003253354","https://openalex.org/W3102086861","https://openalex.org/W4206455946","https://openalex.org/W4244488020","https://openalex.org/W4299591666","https://openalex.org/W6629579983","https://openalex.org/W6680192438","https://openalex.org/W6731596640","https://openalex.org/W6760507315"],"related_works":["https://openalex.org/W4321442002","https://openalex.org/W2015265939","https://openalex.org/W2284072287","https://openalex.org/W2611067230","https://openalex.org/W2480201319","https://openalex.org/W2387706296","https://openalex.org/W4230978433","https://openalex.org/W2893963003","https://openalex.org/W2920657135","https://openalex.org/W2953080867"],"abstract_inverted_index":{"Apache":[0,121],"Flink":[1],"is":[2,87],"an":[3,88,148],"open-source,":[4],"soft":[5],"real-time":[6,18],"stream":[7],"processing":[8],"framework":[9],"underlying":[10],"many":[11],"modern":[12],"systems":[13,34],"dealing":[14],"with":[15,147],"cloud":[16],"and":[17,22,39,100,137],"computing,":[19],"data":[20],"analytics,":[21],"the":[23,30,36,64,103,139,144],"Internet":[24],"of":[25,32,150],"Things,":[26],"among":[27],"others.":[28],"As":[29],"complexity":[31],"stream-processing":[33],"increase,":[35],"testing,":[37],"debugging,":[38],"verification":[40],"tools":[41,51],"supporting":[42],"them":[43],"should":[44],"improve":[45],"as":[46],"well.":[47],"However,":[48],"Flink's":[49],"testing":[50,86,91,118],"only":[52],"include":[53],"a":[54,60,107,116,125,151],"local":[55],"cluster":[56],"fake,":[57],"which":[58],"requires":[59],"great":[61],"effort":[62],"from":[63],"user":[65],"to":[66],"manually":[67],"craft":[68],"all":[69],"those":[70],"streams":[71,134],"(and":[72],"their":[73],"corresponding":[74],"output)":[75],"that":[76,93],"are":[77,135],"relevant":[78],"for":[79,120,129],"each":[80],"particular":[81],"function":[82],"under":[83],"test.":[84],"Property-based":[85],"automatic,":[89],"black-box":[90],"technique":[92],"tests":[94],"functions":[95],"by":[96],"generating":[97],"random":[98,133],"inputs":[99],"checking":[101],"whether":[102],"obtained":[104],"outputs":[105],"fulfill":[106],"given":[108],"property.":[109],"In":[110],"this":[111],"paper,":[112],"we":[113],"present":[114],"FlinkCheck,":[115],"property-based":[117],"tool":[119,145],"Flink.":[122],"It":[123],"uses":[124],"bounded":[126],"temporal":[127],"logic":[128],"both":[130],"guiding":[131],"how":[132,143],"generated":[136],"defining":[138],"properties.":[140],"We":[141],"illustrate":[142],"works":[146],"example":[149],"collaborative":[152],"initiative":[153],"against":[154],"sexual":[155],"harassment.":[156]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-18T07:39:51.176621","created_date":"2025-10-10T00:00:00"}