{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T17:24:35Z","timestamp":1782926675826,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523728","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"1025-1038","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Quickstrom: property-based acceptance testing with LTL specifications"],"prefix":"10.1145","author":[{"given":"Liam","family":"O'Connor","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oskar","family":"Wickstr\u00f6m","sequence":"additional","affiliation":[{"name":"Monoid Consulting, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/jepsen.io\/ accessed","year":"2021","unstructured":"2021. Jepsen. https:\/\/jepsen.io\/ accessed January 2021 . 2021. Jepsen. https:\/\/jepsen.io\/ accessed January 2021."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/www.selenium.dev\/ accessed","author":"WebDriver Selenium","year":"2021","unstructured":"2021. Selenium WebDriver . https:\/\/www.selenium.dev\/ accessed January 2021 . 2021. Selenium WebDriver. https:\/\/www.selenium.dev\/ accessed January 2021."},{"key":"e_1_3_2_1_3_1","volume-title":"The Elm Programming Language. https:\/\/www.elm-lang.org\/ accessed","year":"2021","unstructured":"2021. The Elm Programming Language. https:\/\/www.elm-lang.org\/ accessed January 2021 . 2021. The Elm Programming Language. https:\/\/www.elm-lang.org\/ accessed January 2021."},{"key":"e_1_3_2_1_4_1","volume-title":"The TodoMVC Benchmark. https:\/\/www.todomvc.com\/ accessed","year":"2021","unstructured":"2021. The TodoMVC Benchmark. https:\/\/www.todomvc.com\/ accessed October 2021 . 2021. The TodoMVC Benchmark. https:\/\/www.todomvc.com\/ accessed October 2021."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107466"},{"key":"e_1_3_2_1_8_1","volume-title":"Using Temporal Logic to Control Search in a Forward Chaining Planner","author":"Bacchus Fahiem","year":"1992","unstructured":"Fahiem Bacchus and Froduald Kabanza . 1996. Using Temporal Logic to Control Search in a Forward Chaining Planner . IOS Press , 141\u2013153. isbn:905 1992 378 Fahiem Bacchus and Froduald Kabanza. 1996. Using Temporal Logic to Control Search in a Forward Chaining Planner. IOS Press, 141\u2013153. isbn:9051992378"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68270-9_7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2166956.2166962"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.316.3"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn075"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236784"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3144555.3144556"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596574"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_19_1","volume-title":"Principles of Security and Trust, Mart\u00edn Abadi and Steve Kremer (Eds.)","author":"Clarkson Michael R.","unstructured":"Michael R. Clarkson , Bernd Finkbeiner , Masoud Koleini , Kristopher K. Micinski , Markus N. Rabe , and C\u00e9sar S\u00e1nchez . 2014. Temporal Logics for Hyperproperties . In Principles of Security and Trust, Mart\u00edn Abadi and Steve Kremer (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg . 265\u2013284. isbn:978-3-642-54792-8 Michael R. Clarkson, Bernd Finkbeiner, Masoud Koleini, Kristopher K. Micinski, Markus N. Rabe, and C\u00e9sar S\u00e1nchez. 2014. Temporal Logics for Hyperproperties. In Principles of Security and Trust, Mart\u00edn Abadi and Steve Kremer (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 265\u2013284. isbn:978-3-642-54792-8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1891823.1891830"},{"key":"e_1_3_2_1_21_1","volume-title":"Model Checking Information Flow in Reactive Systems","author":"Dimitrova Rayna","unstructured":"Rayna Dimitrova , Bernd Finkbeiner , M\u00e1t\u00e9 Kov\u00e1cs , Markus N. Rabe , and Helmut Seidl . 2012. Model Checking Information Flow in Reactive Systems . In Verification, Model Checking, and Abstract Interpretation, Viktor Kuncak and Andrey Rybalchenko (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 169\u2013185. isbn:978-3-642-27940-9 Rayna Dimitrova, Bernd Finkbeiner, M\u00e1t\u00e9 Kov\u00e1cs, Markus N. Rabe, and Helmut Seidl. 2012. Model Checking Information Flow in Reactive Systems. In Verification, Model Checking, and Abstract Interpretation, Viktor Kuncak and Andrey Rybalchenko (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 169\u2013185. isbn:978-3-642-27940-9"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500574"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30936-1_9"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103776.2103783"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2428116.2428128"},{"key":"e_1_3_2_1_26_1","volume-title":"Search Control in Planning for Temporally Extended Goals. In International Conference on Automated Planning and Scheduling. AAAI","author":"Kabanza Froduald","year":"2005","unstructured":"Froduald Kabanza and Sylvie Thi\u00e9baux . 2005 . Search Control in Planning for Temporally Extended Goals. In International Conference on Automated Planning and Scheduling. AAAI , Monterey, California, USA. 130\u2013139. Froduald Kabanza and Sylvie Thi\u00e9baux. 2005. Search Control in Planning for Temporally Extended Goals. In International Conference on Automated Planning and Scheduling. AAAI, Monterey, California, USA. 130\u2013139."},{"key":"e_1_3_2_1_27_1","volume-title":"Elle: Inferring Isolation Anomalies from Experimental Observations. arxiv:2003.10554.","author":"Kingsbury Kyle","year":"2020","unstructured":"Kyle Kingsbury and Peter Alvaro . 2020 . Elle: Inferring Isolation Anomalies from Experimental Observations. arxiv:2003.10554. Kyle Kingsbury and Peter Alvaro. 2020. Elle: Inferring Isolation Anomalies from Experimental Observations. arxiv:2003.10554."},{"key":"e_1_3_2_1_28_1","volume-title":"Logics of Programs","author":"Lichtenstein Orna","unstructured":"Orna Lichtenstein , Amir Pnueli , and Lenore Zuck . 1985. The glory of the past . In Logics of Programs , Rohit Parikh (Ed.). Springer Berlin Heidelberg, Berlin , Heidelberg . 196\u2013218. isbn:978-3-540-39527-0 Orna Lichtenstein, Amir Pnueli, and Lenore Zuck. 1985. The glory of the past. In Logics of Programs, Rohit Parikh (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 196\u2013218. isbn:978-3-540-39527-0"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092711"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00017"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158134"},{"key":"e_1_3_2_1_32_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna Zohar","unstructured":"Zohar Manna and Amir Pnueli . 1992. The Temporal Logic of Reactive and Concurrent Systems . Springer-Verlag, Berlin , Heidelberg . isbn:0387976647 Zohar Manna and Amir Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, Berlin, Heidelberg. isbn:0387976647"},{"key":"e_1_3_2_1_33_1","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Manna Zohar","unstructured":"Zohar Manna and Amir Pnueli . 1995. Temporal Verification of Reactive Systems: Safety . Springer-Verlag , Berlin, Heidelberg . isbn:0387944591 Zohar Manna and Amir Pnueli. 1995. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, Berlin, Heidelberg. isbn:0387944591"},{"key":"e_1_3_2_1_34_1","volume-title":"A Calculus of Communicating Systems","author":"Milner Robin","unstructured":"Robin Milner . 1982. A Calculus of Communicating Systems . Springer-Verlag , Berlin, Heidelberg . isbn:0387102353 Robin Milner. 1982. A Calculus of Communicating Systems. Springer-Verlag, Berlin, Heidelberg. isbn:0387102353"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6416483"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360577"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110246"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.322.6"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90026-7"},{"key":"e_1_3_2_1_41_1","volume-title":"https:\/\/quickstrom.io\/ accessed","author":"Wickstr\u00f6m Oskar","year":"2021","unstructured":"Oskar Wickstr\u00f6m . 2020. Quickstrom. https:\/\/quickstrom.io\/ accessed January 2021 . Oskar Wickstr\u00f6m. 2020. Quickstrom. https:\/\/quickstrom.io\/ accessed January 2021."}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523728","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523728"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":41,"alternative-id":["10.1145\/3519939.3523728","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523728","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}