Quickstrom: property-based acceptance testing with LTL specifications-Reference-Cited by-同舟云学术

Quickstrom: property-based acceptance testing with LTL specifications

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

O'Connor Liam¹,Wickström Oskar²

Affiliation:

1. University of Edinburgh, UK

2. Monoid Consulting, Sweden

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3519939.3523728

Reference41 articles.

1. 2021. Jepsen. https://jepsen.io/ accessed January 2021 . 2021. Jepsen. https://jepsen.io/ accessed January 2021.

2. 2021. Selenium WebDriver . https://www.selenium.dev/ accessed January 2021 . 2021. Selenium WebDriver. https://www.selenium.dev/ accessed January 2021.

3. 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.

4. 2021. The TodoMVC Benchmark. https://www.todomvc.com/ accessed October 2021 . 2021. The TodoMVC Benchmark. https://www.todomvc.com/ accessed October 2021.

5. Defining liveness

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic;Lecture Notes in Computer Science;2024-09-11

2. Property-Based Testing in Practice;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

3. Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

4. Crème de la Crem: Composable Representable Executable Machines;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30

5. An Empirical Study of Functional Bugs in Android Apps;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12