{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T23:10:08Z","timestamp":1743894608356,"version":"3.40.3"},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T00:00:00Z","timestamp":1743811200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T00:00:00Z","timestamp":1743811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"funder":[{"DOI":"10.13039\/501100002784","name":"Canada Excellence Research Chairs, Government of Canada","doi-asserted-by":"publisher","award":["2"],"award-info":[{"award-number":["2"]}],"id":[{"id":"10.13039\/501100002784","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-025-03824-6","type":"journal-article","created":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T22:55:57Z","timestamp":1743893757000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Testing Stream Programs from Pre\/Post-models"],"prefix":"10.1007","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4406-6154","authenticated-orcid":false,"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,5]]},"reference":[{"key":"3824_CR1","doi-asserted-by":"publisher","unstructured":"2007. Chapter 6\u2014testing from pre\/post models. In: Utting M, Legeard B (eds) Practical Model-Based Testing. Morgan Kaufmann, San Francisco, 2007. p. 187\u2013250, https:\/\/doi.org\/10.1016\/B978-012372501-1\/50007-7, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780123725011500077. Accessed 1 Nov 2023.","DOI":"10.1016\/B978-012372501-1\/50007-7"},{"key":"3824_CR2","unstructured":"2022. Testing Kafka streams. https:\/\/kafka.apache.org\/20\/documentation\/streams\/developer-guide\/testing.html, Accessed 6 Oct 2022."},{"key":"3824_CR3","unstructured":"2023. Amazon Kinesis documentation. Accessed 15 Oct 2023."},{"key":"3824_CR4","unstructured":"2023. Esper. https:\/\/www.espertech.com\/esper, Accessed 5 Nov 2023."},{"key":"3824_CR5","unstructured":"2023. JUnit user guide. https:\/\/junit.org\/junit5\/docs\/current\/user-guide, Accessed 15 Nov 2023."},{"key":"3824_CR6","unstructured":"2023. TIBCO streaming documentation \u2013 StreamSQL guide. https:\/\/docs.streambase.com\/sb77\/topic\/com.streambase.sb.ide.help\/data\/html\/streamsql\/index.html?cp=1_7, Accessed 5 Nov 2023."},{"key":"3824_CR7","unstructured":"Abadi DJ, Ahmad Y, Balazinska M, et\u00a0al. The design of the Borealis stream processing engine. In: Second Biennial Conference on Innovative Data Systems Research, CIDR 2005, Asilomar, CA, USA, January 4-7, 2005, Online Proceedings. www.cidrdb.org, 2005; p. 277\u2013289."},{"key":"3824_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-book: assigning programs to meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial JR. The B-book: assigning programs to meanings. Cambridge University Press; 1996."},{"key":"3824_CR9","doi-asserted-by":"publisher","unstructured":"Agrawal J, Diao Y, Gyllstrom D, et\u00a0al. Efficient pattern matching over event streams. In: Wang JT editors. Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008. ACM, 2008; p 147\u2013160, https:\/\/doi.org\/10.1145\/1376616.1376634.","DOI":"10.1145\/1376616.1376634"},{"key":"3824_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1186\/s13677-022-00338-x","volume":"11","author":"KA Alaghbari","year":"2022","unstructured":"Alaghbari KA, Saad MHM, Hussain A, et al. Complex event processing for physical and cyber security in datacentres-recent progress, challenges and recommendations. J Cloud Comput. 2022;11:65. https:\/\/doi.org\/10.1186\/s13677-022-00338-x.","journal-title":"J Cloud Comput"},{"key":"3824_CR11","unstructured":"Apache Foundation. Apache Storm 2023. https:\/\/storm.apache.org, Retrieved July 1st, 2022."},{"key":"3824_CR12","unstructured":"Apache Foundation, Trident API overview 2023. https:\/\/storm.apache.org\/releases\/current\/Trident-API-Overview.html, Retrieved July 1st, 2022."},{"issue":"2","key":"3824_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A Arasu","year":"2006","unstructured":"Arasu A, Babu S, Widom J. The CQL continuous query language: semantic foundations and query execution. VLDB J. 2006;15(2):121\u201342. https:\/\/doi.org\/10.1007\/s00778-004-0147-z.","journal-title":"VLDB J"},{"key":"3824_CR14","doi-asserted-by":"publisher","unstructured":"Barringer H, Falcone Y, Havelund K, et\u00a0al. Quantified event automata: Towards expressive and efficient runtime monitors. In: Giannakopoulou D, M\u00e9ry D editors FM 2012: Formal Methods\u201418th International Symposium, Paris, France, August 27-31, 2012. Proceedings, Lecture Notes in Computer Science, vol 7436. Springer, 2012. p. 68\u201384. https:\/\/doi.org\/10.1007\/978-3-642-32759-9_9.","DOI":"10.1007\/978-3-642-32759-9_9"},{"key":"3824_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-75632-5_1","volume-title":"Lectures on runtime verification-introductory and advanced topics","author":"E Bartocci","year":"2018","unstructured":"Bartocci E, Falcone Y, Francalanza A, et al. Introduction to runtime verification. In: Bartocci E, Falcone Y, editors., et al., Lectures on runtime verification-introductory and advanced topics, vol. 10457. Lecture Notes in Computer Science. Berlin: Springer; 2018. p. 1\u201333. https:\/\/doi.org\/10.1007\/978-3-319-75632-5_1."},{"issue":"3","key":"3824_CR16","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/S10703-015-0222-7","volume":"46","author":"DA Basin","year":"2015","unstructured":"Basin DA, Klaedtke F, Marinovic S, et al. Monitoring of temporal first-order properties with aggregations. Formal Methods Syst Des. 2015;46(3):262\u201385. https:\/\/doi.org\/10.1007\/S10703-015-0222-7.","journal-title":"Formal Methods Syst Des"},{"issue":"2","key":"3824_CR17","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/2699444","volume":"62","author":"DA Basin","year":"2015","unstructured":"Basin DA, Klaedtke F, M\u00fcller S, et al. Monitoring metric first-order temporal properties. J ACM. 2015;62(2):15:1-15:45. https:\/\/doi.org\/10.1145\/2699444.","journal-title":"J ACM"},{"key":"3824_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2023.105058","volume":"293","author":"A B\u00e9dard","year":"2023","unstructured":"B\u00e9dard A, Hall\u00e9 S. Formal verification for event stream processing: Model checking of beepbeep stream processing pipelines. Inform Comput. 2023;293: 105058. https:\/\/doi.org\/10.1016\/j.ic.2023.105058.","journal-title":"Inform Comput"},{"key":"3824_CR19","first-page":"109","volume-title":"Smart contracts-enabled simulation for hyperconnected logistics, studies in big data","author":"Q Betti","year":"2020","unstructured":"Betti Q, Montreuil B, Khoury R, et al. Smart contracts-enabled simulation for hyperconnected logistics, studies in big data, vol. 71. Springer; 2020. p. 109\u201349."},{"key":"3824_CR20","doi-asserted-by":"publisher","unstructured":"Boussaha MR, Khoury R, Hall\u00e9 S. Monitoring of security properties using beepbeep. In: Imine A, Fernandez JM, Marion J, et\u00a0al editors Foundations and Practice of Security - 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers, Lecture Notes in Computer Science, vol 10723. Springer, 2017. p. 160\u2013169, https:\/\/doi.org\/10.1007\/978-3-319-75650-9_11.","DOI":"10.1007\/978-3-319-75650-9_11"},{"key":"3824_CR21","doi-asserted-by":"publisher","unstructured":"Bove A, Dybjer P, Norell U. A brief overview of agda - A functional language with dependent types. In: Berghofer S, Nipkow T, Urban C, et\u00a0al editors. Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, Lecture Notes in Computer Science, vol 5674. Springer, 2009. p. 73\u201378, https:\/\/doi.org\/10.1007\/978-3-642-03359-9_6.","DOI":"10.1007\/978-3-642-03359-9_6"},{"key":"3824_CR22","doi-asserted-by":"publisher","unstructured":"Carbone P, Fragkoulis M, Kalavri V, et\u00a0al. Beyond analytics: The evolution of stream processing systems. In: Maier D, Pottinger R, Doan A, et\u00a0al editors. Proceedings of the 2020 International Conference on Management of Data, SIGMOD Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020. ACM, 2020. p. 2651\u20132658, https:\/\/doi.org\/10.1145\/3318464.3383131.","DOI":"10.1145\/3318464.3383131"},{"key":"3824_CR23","doi-asserted-by":"publisher","unstructured":"\u00c7etintemel U, Abadi DJ, Ahmad Y, et\u00a0al. The aurora and borealis stream processing engines. In: Garofalakis MN, Gehrke J, Rastogi R editors. Data stream management-processing high-speed data streams. Data-Centric Systems and Applications, Springer, 2016. p 337\u2013359, https:\/\/doi.org\/10.1007\/978-3-540-28608-0_17.","DOI":"10.1007\/978-3-540-28608-0_17"},{"key":"3824_CR24","doi-asserted-by":"crossref","unstructured":"Chandrasekaran S, Cooper O, Deshpande A, et\u00a0al. TelegraphCQ: Continuous dataflow processing for an uncertain world. In: First Biennial Conference on Innovative Data Systems Research, CIDR 2003, Asilomar, CA, USA, 2003. January 5-8, 2003. Online Proceedings. www.cidrdb.org. Accessed 1 Nov 2023.","DOI":"10.1145\/872853.872857"},{"key":"3824_CR25","doi-asserted-by":"publisher","unstructured":"Daho HE, Benhamamouch D. Formal verification of ASM models using tla$$^{\\text{+}}$$. In: B\u00f6rger E, Butler MJ, Bowen JP, et\u00a0al editors. Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, Lecture Notes in Computer Science, vol 5238. Springer, 2008. p 356, https:\/\/doi.org\/10.1007\/978-3-540-87603-8_43.","DOI":"10.1007\/978-3-540-87603-8_43"},{"key":"3824_CR26","doi-asserted-by":"publisher","unstructured":"D\u2019Angelo B, Sankaranarayanan S, S\u00e1nchez C, et\u00a0al. LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA. IEEE Computer Society, 2005. p. 166\u2013174, https:\/\/doi.org\/10.1109\/TIME.2005.26.","DOI":"10.1109\/TIME.2005.26"},{"issue":"2","key":"3824_CR27","doi-asserted-by":"publisher","first-page":"33:1","DOI":"10.1145\/3170432","volume":"51","author":"M Dayarathna","year":"2018","unstructured":"Dayarathna M, Perera S. Recent advancements in event processing. ACM Comput Surv. 2018;51(2):33:1-33:36. https:\/\/doi.org\/10.1145\/3170432.","journal-title":"ACM Comput Surv"},{"key":"3824_CR28","unstructured":"Demers AJ, Gehrke J, Panda B, et\u00a0al. Cayuga: A general purpose event monitoring system. In: Third Biennial Conference on Innovative Data Systems Research, CIDR 2007, Asilomar, CA, USA, January 7-10, 2007, Online Proceedings. www.cidrdb.org, 2007. p. 412\u2013422."},{"key":"3824_CR29","doi-asserted-by":"publisher","first-page":"150369","DOI":"10.1109\/ACCESS.2019.2947361","volume":"7","author":"CV Espinosa","year":"2019","unstructured":"Espinosa CV, Martin-Martin E, Riesco A, et al. Flinkcheck: property-based testing for apache flink. IEEE Access. 2019;7:150369\u201382. https:\/\/doi.org\/10.1109\/ACCESS.2019.2947361.","journal-title":"IEEE Access"},{"key":"3824_CR30","doi-asserted-by":"publisher","unstructured":"Fischer J, Majumdar R. Programming by composing filters. In: Eiter T, Sands D editors. LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, EPiC Series in Computing, vol\u00a046. EasyChair, 2017. p. 1\u201313, https:\/\/doi.org\/10.29007\/w8s9.","DOI":"10.29007\/w8s9"},{"key":"3824_CR31","unstructured":"Grez A, Riveros C, Ugarte M. Foundations of complex event processing. 2017. CoRR abs\/1709.05369. arXiv:1709.05369."},{"issue":"4","key":"3824_CR32","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/3485463","volume":"46","author":"A Grez","year":"2021","unstructured":"Grez A, Riveros C, Ugarte M, et al. A formal framework for complex event recognition. ACM Trans Database Syst. 2021;46(4):16:1-16:49. https:\/\/doi.org\/10.1145\/3485463.","journal-title":"ACM Trans Database Syst"},{"key":"3824_CR33","doi-asserted-by":"publisher","unstructured":"Gulzar MA, Mardani S, Musuvathi M, et\u00a0al. White-box testing of big data analytics with complex user-defined functions. In: Dumas M, Pfahl D, Apel S, et\u00a0al editors. Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. ACM, 2019. p. 290\u2013301, https:\/\/doi.org\/10.1145\/3338906.3338953.","DOI":"10.1145\/3338906.3338953"},{"issue":"11","key":"3824_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4230\/DagRep.12.11.1","volume":"12","author":"D Gurov","year":"2022","unstructured":"Gurov D, H\u00e4hnle R, Huisman M, et al. Principles of contract languages (Dagstuhl seminar 22451). Dagstuhl Rep. 2022;12(11):1\u201327. https:\/\/doi.org\/10.4230\/DagRep.12.11.1.","journal-title":"Dagstuhl Rep"},{"key":"3824_CR35","volume-title":"The language Lustre","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N. The language Lustre. Springer; 1993."},{"key":"3824_CR36","volume-title":"Lustre program verification: the tool Lesar","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N. Lustre program verification: the tool Lesar. Springer; 1993."},{"issue":"9","key":"3824_CR37","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, et al. The synchronous data flow programming language LUSTRE. Proc IEEE. 1991;79(9):1305\u201320.","journal-title":"Proc IEEE"},{"issue":"9","key":"3824_CR38","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N Halbwachs","year":"1992","unstructured":"Halbwachs N, Lagnier F, Ratel C. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. IEEE Trans Softw Eng. 1992;18(9):785\u201393.","journal-title":"IEEE Trans Softw Eng"},{"key":"3824_CR39","doi-asserted-by":"publisher","unstructured":"Hall\u00e9 S. Causality in message-based contract violations: A temporal logic \"whodunit\". In: Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2011, Helsinki, Finland, August 29 - September 2, 2011. IEEE Computer Society, 2011. p. 171\u2013180, https:\/\/doi.org\/10.1109\/EDOC.2011.21.","DOI":"10.1109\/EDOC.2011.21"},{"key":"3824_CR40","unstructured":"Hall\u00e9 S. From complex event processing to simple event processing. 2017. CoRR abs\/1702.08051. arXiv:1702.08051."},{"key":"3824_CR41","doi-asserted-by":"publisher","unstructured":"Hall\u00e9 S, Khoury R. Writing domain-specific languages for beepbeep. In: Colombo C, Leucker M editors. Runtime Verification\u201418th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, Lecture Notes in Computer Science, vol 11237. Springer, 2018. p. 447\u2013457, https:\/\/doi.org\/10.1007\/978-3-030-03769-7_27.","DOI":"10.1007\/978-3-030-03769-7_27"},{"key":"3824_CR42","doi-asserted-by":"publisher","unstructured":"Hall\u00e9 S, Khoury R. Test sequence generation with Cayley graphs. In: 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2021, Porto de Galinhas, Brazil, April 12-16, 2021. IEEE, 2021. p. 182\u2013191, https:\/\/doi.org\/10.1109\/ICSTW52544.2021.00040.","DOI":"10.1109\/ICSTW52544.2021.00040"},{"key":"3824_CR43","doi-asserted-by":"publisher","unstructured":"Hall\u00e9 S, Varvaressos S. A formalization of complex event stream processing. In: Reichert M, Rinderle-Ma S, Grossmann G editors. 18th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2014, Ulm, Germany, September 1-5, 2014. IEEE Computer Society, 2014. p. 2\u201311, https:\/\/doi.org\/10.1109\/EDOC.2014.12.","DOI":"10.1109\/EDOC.2014.12"},{"issue":"2","key":"3824_CR44","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S Hall\u00e9","year":"2012","unstructured":"Hall\u00e9 S, Villemaire R. Runtime enforcement of web service message contracts with data. IEEE Trans Serv Comput. 2012;5(2):192\u2013206. https:\/\/doi.org\/10.1109\/TSC.2011.10.","journal-title":"IEEE Trans Serv Comput"},{"key":"3824_CR45","volume-title":"Event stream processing with BeepBeep 3: log crunching and analysis made easy","author":"S Hall\u00e9","year":"2018","unstructured":"Hall\u00e9 S. Event stream processing with BeepBeep 3: log crunching and analysis made easy. Presses de l\u2019Universit\u00e9 du Qu\u00e9bec; 2018."},{"key":"3824_CR46","volume-title":"Stream processing with Apache Flink: fundamentals, implementation, and operation of streaming applications","author":"F Hueske","year":"2019","unstructured":"Hueske F, Kalavri V. Stream processing with Apache Flink: fundamentals, implementation, and operation of streaming applications. O\u2019Reilly; 2019."},{"key":"3824_CR47","doi-asserted-by":"publisher","unstructured":"Huisman M, Ahrendt W, Bruns D, et\u00a0al. Formal specification with JML. Tech. Rep.\u00a010, Karlsruher Institut f\u00fcr Technologie (KIT), 2014. https:\/\/doi.org\/10.5445\/IR\/1000041881.","DOI":"10.5445\/IR\/1000041881"},{"issue":"6","key":"3824_CR48","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/s10009-006-0023-9","volume":"8","author":"E Jahier","year":"2006","unstructured":"Jahier E, Raymond P, Baufreton P. Case studies with Lurette V2. Softw Tools Technol Transf. 2006;8(6):517\u201330.","journal-title":"Softw Tools Technol Transf"},{"issue":"OOPSLA","key":"3824_CR49","doi-asserted-by":"publisher","first-page":"153:1","DOI":"10.1145\/3428221","volume":"4","author":"K Kallas","year":"2020","unstructured":"Kallas K, Niksic F, Stanford C, et al. DiffStream: differential output testing for stream processing programs. Proc ACM Program Lang. 2020;4(OOPSLA):153:1-153:29. https:\/\/doi.org\/10.1145\/3428221.","journal-title":"Proc ACM Program Lang"},{"key":"3824_CR50","doi-asserted-by":"publisher","unstructured":"Krieger C, Breitenb\u00fccher U, Falkenthal M, et\u00a0al. Monitoring behavioral compliance with architectural patterns based on complex event processing. In: Brogi A, Zimmermann W, Kritikos K editors. Service-Oriented and Cloud Computing\u20148th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings, Lecture Notes in Computer Science, vol 12054. Springer, 2020. p. 125\u2013140, https:\/\/doi.org\/10.1007\/978-3-030-44769-4_10.","DOI":"10.1007\/978-3-030-44769-4_10"},{"issue":"1","key":"3824_CR51","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1080\/00029890.1985.11971528","volume":"92","author":"JC Lagarias","year":"1985","unstructured":"Lagarias JC. The $$3x + 1$$ problem and its generalizations. Am Math Mon. 1985;92(1):3\u201323. https:\/\/doi.org\/10.1080\/00029890.1985.11971528.","journal-title":"Am Math Mon"},{"key":"3824_CR52","unstructured":"Lamport L. Specifying systems, the TLA+ language and tools for hardware and software engineers. Addison-Wesley, 2002. http:\/\/research.microsoft.com\/users\/lamport\/tla\/book.html. Accessed 1 Nov 2023."},{"key":"3824_CR53","doi-asserted-by":"publisher","DOI":"10.1002\/9781119198697","volume-title":"Event processing for business: organizing the real-time enterprise","author":"D Luckham","year":"2012","unstructured":"Luckham D. Event processing for business: organizing the real-time enterprise. Wiley; 2012."},{"key":"3824_CR54","doi-asserted-by":"publisher","unstructured":"Malik QA, Lilius J, Laibinis L. Model-based testing using scenarios and Event-B refinements. In: Butler MJ, Jones CB, Romanovsky AB, et\u00a0al editors. Methods, Models and Tools for Fault Tolerance, Lecture Notes in Computer Science, vol 5454. Springer, 2009. p. 177\u2013195, https:\/\/doi.org\/10.1007\/978-3-642-00867-2_9.","DOI":"10.1007\/978-3-642-00867-2_9"},{"key":"3824_CR55","doi-asserted-by":"crossref","unstructured":"Marre B, Arnould A. Test sequences generation from LUSTRE descriptions: GATeL. In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000. IEEE Computer Society, 2000. p. 229.","DOI":"10.1109\/ASE.2000.873667"},{"key":"3824_CR56","doi-asserted-by":"crossref","unstructured":"Marre B, Blanc B. Test selection strategies for LUSTRE descriptions in GATeL. In: Gurevich Y, Petrenko AK editors. Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, Electronic Notes in Theoretical Computer Science, vol 111. Elsevier, 2004. p. 93\u2013111.","DOI":"10.1016\/j.entcs.2004.12.010"},{"key":"3824_CR57","volume-title":"Object-oriented software construction","author":"B Meyer","year":"1988","unstructured":"Meyer B. Object-oriented software construction. 1st ed. Prentice-Hall; 1988.","edition":"1"},{"key":"3824_CR58","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/B978-0-12-805394-2.00002-7","volume-title":"Big data","author":"Z Milosevic","year":"2016","unstructured":"Milosevic Z, Chen W, Berry A, et al. Chapter 2-Real-time analytics. In: Buyya R, Calheiros RN, Dastjerdi AV, editors., et al., Big data. Morgan Kaufmann: Berlin; 2016. p. 39\u201361."},{"issue":"1","key":"3824_CR59","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/J.INFSOF.2010.07.004","volume":"53","author":"O Mosbahi","year":"2011","unstructured":"Mosbahi O, Ayed LJB, Khalgui M. A formal approach for the development of reactive systems. Inf Softw Technol. 2011;53(1):14\u201333. https:\/\/doi.org\/10.1016\/J.INFSOF.2010.07.004.","journal-title":"Inf Softw Technol"},{"key":"3824_CR60","doi-asserted-by":"publisher","unstructured":"Palyvos-Giannas D, Gulisano V, Papatriantafilou M. Haren: a framework for ad-hoc thread scheduling policies for data streaming applications. In: DEBS. ACM, 2019. p. 19\u201330, https:\/\/doi.org\/10.1145\/3328905.3329505.","DOI":"10.1145\/3328905.3329505"},{"key":"3824_CR61","doi-asserted-by":"crossref","unstructured":"Parissis I, Ouabdesselam F. Specification-based testing of synchronous software. In: Garlan D (ed) Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996. ACM, 1996. p. 127\u2013134.","DOI":"10.1145\/239098.239119"},{"key":"3824_CR62","doi-asserted-by":"crossref","unstructured":"Plourde M, Hall\u00e9 S. Synthia: a generic and flexible data structure generator. In: 44th IEEE\/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022. ACM\/IEEE, 2022. p. 207\u2013211.","DOI":"10.1109\/ICSE-Companion55297.2022.9793796"},{"key":"3824_CR63","doi-asserted-by":"publisher","unstructured":"Pnueli A. The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October\u20141 November 1977. IEEE Computer Society, 1977. p. 46\u201357, https:\/\/doi.org\/10.1109\/SFCS.1977.32.","DOI":"10.1109\/SFCS.1977.32"},{"issue":"4","key":"3824_CR64","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.5381\/jot.2022.21.4.a10","volume":"21","author":"J Rosa-Bilbao","year":"2022","unstructured":"Rosa-Bilbao J, Boubeta-Puig J. Model-driven engineering for complex event processing: a survey. J Object Technol. 2022;21(4):4:1-13. https:\/\/doi.org\/10.5381\/jot.2022.21.4.a10.","journal-title":"J Object Technol"},{"key":"3824_CR65","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101446","volume":"101","author":"M Roudjane","year":"2021","unstructured":"Roudjane M, Reba\u00efne D, Khoury R, et al. Detecting trend deviations with generic stream processing patterns. Inf Syst. 2021;101: 101446. https:\/\/doi.org\/10.1016\/j.is.2019.101446.","journal-title":"Inf Syst"},{"key":"3824_CR66","unstructured":"Schaap L. Formalized semantics of lustre. Bachelor\u2019s Thesis 2022, https:\/\/theses.liacs.nl\/pdf\/2021-2022-SchaapL.pdf, Accessed 2 Sep 2024."},{"key":"3824_CR67","doi-asserted-by":"publisher","unstructured":"Seljimi B, Parissis I. Using CLP to automatically generate test sequences for synchronous programs with numeric inputs and outputs. In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA. IEEE Computer Society, 2006. p. 105\u2013116, https:\/\/doi.org\/10.1109\/ISSRE.2006.49.","DOI":"10.1109\/ISSRE.2006.49"},{"issue":"3","key":"3824_CR68","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"AP Sistla","year":"1985","unstructured":"Sistla AP, Clarke EM. The complexity of propositional linear temporal logics. J ACM. 1985;32(3):733\u201349. https:\/\/doi.org\/10.1145\/3828.3837.","journal-title":"J ACM"},{"issue":"2","key":"3824_CR69","first-page":"21","volume":"36","author":"M Stonebraker","year":"2013","unstructured":"Stonebraker M, Weisberg A. The VoltDB main memory DBMS. IEEE Data Eng Bull. 2013;36(2):21\u20137.","journal-title":"IEEE Data Eng Bull"},{"key":"3824_CR70","doi-asserted-by":"publisher","unstructured":"Suhothayan S, Gajasinghe K, Narangoda IL, et\u00a0al. Siddhi: a second look at complex event processing architectures. In: Dooley R, Fiore S, Green ML, et\u00a0al editors. Proceedings of the 2011 ACM SC Workshop on Gateway Computing Environments, GCE 2011, Seattle, WA, USA, November 18, 2011. ACM, 2011. p. 43\u201350, https:\/\/doi.org\/10.1145\/2110486.2110493.","DOI":"10.1145\/2110486.2110493"},{"key":"3824_CR71","doi-asserted-by":"publisher","unstructured":"Taleb R, Khoury R, Hall\u00e9 S. Runtime verification under access restrictions. In: Bliudze S, Gnesi S, Plat N, et\u00a0al editors. 9th IEEE\/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. IEEE, 2021. p. 31\u201341, https:\/\/doi.org\/10.1109\/FormaliSE52586.2021.00010.","DOI":"10.1109\/FormaliSE52586.2021.00010"},{"key":"3824_CR72","unstructured":"Tibco. StreamSQL guide, version 2.2.1. Accessed October 15th, 2023 2017."},{"key":"3824_CR73","doi-asserted-by":"crossref","unstructured":"Vianna A, Ferreira W, Gama K. An exploratory study of how specialists deal with testing in data stream processing applications. In: 2019 ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2019, Porto de Galinhas, Recife, Brazil, September 19-20, 2019. IEEE, 2019. p. 1\u20136.","DOI":"10.1109\/ESEM.2019.8870186"},{"key":"3824_CR74","doi-asserted-by":"publisher","unstructured":"V\u00f6gler M, Schleicher JM, Inzinger C, et\u00a0al. Non-intrusive monitoring of stream processing applications. In: SOSE. IEEE Computer Society, 2016; p. 162\u2013171, https:\/\/doi.org\/10.1109\/SOSE.2016.11.","DOI":"10.1109\/SOSE.2016.11"},{"key":"3824_CR75","doi-asserted-by":"publisher","unstructured":"Vu DH, Truong AH, Chiba Y, et\u00a0al. Automated testing reactive systems from event-b model. In: 2017 4th NAFOSTED Conference on Information and Computer Science, 2017; p. 207\u2013212, https:\/\/doi.org\/10.1109\/NAFOSTED.2017.8108065.","DOI":"10.1109\/NAFOSTED.2017.8108065"},{"key":"3824_CR76","doi-asserted-by":"publisher","unstructured":"Weiss J, Mandl P, Schill A. Functional testing of complex event processing applications. In: 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing, 2011; p. 407\u2013413, https:\/\/doi.org\/10.1109\/ICCP.2011.6047906.","DOI":"10.1109\/ICCP.2011.6047906"},{"key":"3824_CR77","doi-asserted-by":"publisher","unstructured":"Wu E, Diao Y, Rizvi S. High-performance complex event processing over streams. In: Chaudhuri S, Hristidis V, Polyzotis N (eds) Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006. ACM, 2006; p. 407\u2013418, https:\/\/doi.org\/10.1145\/1142473.1142520.","DOI":"10.1145\/1142473.1142520"},{"key":"3824_CR78","doi-asserted-by":"crossref","unstructured":"Zaharia M, Das T, Li H, et\u00a0al. Discretized streams: Fault-tolerant streaming computation at scale. In: Proc. ACM symposium on operating systems principles. ACM, 2013; p. 423\u2013438.","DOI":"10.1145\/2517349.2522737"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03824-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-025-03824-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-025-03824-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T22:56:15Z","timestamp":1743893775000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-025-03824-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,5]]},"references-count":78,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2025,4]]}},"alternative-id":["3824"],"URL":"https:\/\/doi.org\/10.1007\/s42979-025-03824-6","relation":{},"ISSN":["2661-8907"],"issn-type":[{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,5]]},"assertion":[{"value":"17 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 April 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The corresponding author states that there is no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Research Involving Human and \/or Animals"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed Consent"}}],"article-number":"354"}}