{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T20:09:10Z","timestamp":1768162150746,"version":"3.49.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032159809","type":"print"},{"value":"9783032159816","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-15981-6_3","type":"book-chapter","created":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T17:13:30Z","timestamp":1768151610000},"page":"39-56","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Property-Based Testing for\u00a0Asynchronous Functional Reactive Programming Using Linear Temporal Logic"],"prefix":"10.1007","author":[{"given":"Christian Emil","family":"Nielsen","sequence":"first","affiliation":[]},{"given":"Mathias Faber","family":"Kristiansen","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Bahr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,12]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Bahr, P., Houlborg, E., R\u00f8rdam, G.T.S.: Asynchronous reactive programming with modal types in Haskell. In: Gebser, M., Sergey, I. (eds.) PADL 2024. LNCS, vol. 14512, pp. 18\u201336. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-52038-9_2","DOI":"10.1007\/978-3-031-52038-9_2"},{"key":"3_CR2","unstructured":"Nielsen, C.E., Kristiansen, M.F.: Property-based testing for functional reactive programming in Async Rattus using linear temporal logic. Master\u2019s thesis, IT University of Copenhagen (2025)"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP 2000: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, pp. 268\u2013279. ACM (2000). https:\/\/doi.org\/10.1145\/351240.351266","DOI":"10.1145\/351240.351266"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-54792-8_15","volume-title":"Principles of Security and Trust","author":"MR Clarkson","year":"2014","unstructured":"Clarkson, M.R., Finkbeiner, B., Koleini, M., Micinski, K.K., Rabe, M.N., S\u00e1nchez, C.: Temporal logics for hyperproperties. In: Abadi, M., Kremer, S. (eds.) POST 2014. LNCS, vol. 8414, pp. 265\u2013284. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54792-8_15"},{"key":"3_CR5","unstructured":"Dannebrog\u00a0Jensen, L.: Property based testing of functional reactive programs using linear temporal logic. Master\u2019s thesis, IT University of Copenhagen (2023)"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Disch, J.C., Heegaard, A., Bahr, P.: Functional reactive GUI programming with modal types. In: Gibbons, J. (ed.) TFP 2025. LNCS, vol. 15652, pp. 93\u2013114. Springer, Cham (2026). https:\/\/doi.org\/10.1007\/978-3-031-99751-8_5","DOI":"10.1007\/978-3-031-99751-8_5"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: Proceedings of the second ACM SIGPLAN international conference on Functional programming, ICFP 1997, pp. 263\u2013273. Association for Computing Machinery (1997). https:\/\/doi.org\/10.1145\/258948.258973","DOI":"10.1145\/258948.258973"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Hughes, J., Norell, U., Sautret, J.: Using temporal relations to specify and test an instant messaging server. In: Proceedings of the 5th Workshop on Automation of Software Test, AST 2010, pp. 95\u2013102. Association for Computing Machinery (2010). https:\/\/doi.org\/10.1145\/1808266.1808281","DOI":"10.1145\/1808266.1808281"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Jeffrey, A.: LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. In: Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification, PLPV 2912, pp. 49\u201360. ACM (2012). https:\/\/doi.org\/10.1145\/2103776.2103783","DOI":"10.1145\/2103776.2103783"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Jeltsch, W.: Towards a common categorical semantics for linear-time temporal logic and functional reactive programming. Electron. Notes Theor. Comput. Sci. 286, 229\u2013242 (2012). https:\/\/doi.org\/10.1016\/j.entcs.2012.08.015","DOI":"10.1016\/j.entcs.2012.08.015"},{"key":"3_CR11","unstructured":"Kiss, E.: 7GUIs: A GUI programming benchmark (2014). https:\/\/eugenkiss.github.io\/7guis\/"},{"key":"3_CR12","unstructured":"Nielsen, C.E., Kristiansen, M.F., Bahr, P.: PropRatt Haskell library package (2025). https:\/\/hackage.haskell.org\/package\/PropRatt"},{"key":"3_CR13","doi-asserted-by":"publisher","unstructured":"O\u2019Connor, L., Wickstr\u00f6m, O.: Quickstrom: property-based acceptance testing with LTL specifications. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022, pp. 1025\u20131038. Association for Computing Machinery (2022). https:\/\/doi.org\/10.1145\/3519939.3523728","DOI":"10.1145\/3519939.3523728"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Perez, I., Nilsson, H.: Testing and debugging functional reactive programming. Proc. ACM Program. Lang. 1(ICFP), 1\u201327 (2017). https:\/\/doi.org\/10.1145\/3110246","DOI":"10.1145\/3110246"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Perez, I., Nilsson, H.: Runtime verification and validation of functional reactive systems. J. Funct. Program. 30 (2020). https:\/\/doi.org\/10.1017\/S0956796820000210","DOI":"10.1017\/S0956796820000210"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The Temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS 1977, pp. 46\u201357. IEEE Computer Society (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Sculthorpe, N., Nilsson, H.: Safe functional reactive programming through dependent types. In: Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, pp. 23\u201334. ACM (2009). https:\/\/doi.org\/10.1145\/1596550.1596558","DOI":"10.1145\/1596550.1596558"},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10990-011-9068-x","volume":"23","author":"N Sculthorpe","year":"2010","unstructured":"Sculthorpe, N., Nilsson, H.: Keeping calm in the face of change. High.-Order Symb. Comput. 23(2), 227\u2013271 (2010). https:\/\/doi.org\/10.1007\/s10990-011-9068-x","journal-title":"High.-Order Symb. Comput."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-15981-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T17:13:31Z","timestamp":1768151611000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15981-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032159809","9783032159816"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15981-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"12 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 January 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl26.sigplan.org\/home\/PADL-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}