Model Checking Guided Testing for Distributed Systems-Reference-Cited by-同舟云学术

Model Checking Guided Testing for Distributed Systems

Published:2023-05-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Eighteenth European Conference on Computer Systems
language:
Short-container-title:

Author:

Wang Dong¹²^ORCID,Dou Wensheng¹²^ORCID,Gao Yu¹²^ORCID,Wu Chenao¹²^ORCID,Wei Jun¹²^ORCID,Huang Tao¹²^ORCID

Affiliation:

1. Institute of Software Chinese Academy of Sciences, Beijing, China

2. University of Chinese Academy of Sciences, Beijing, China

Publisher

ACM

Link

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

Reference72 articles.

1. 1997. Alloy. Retrieved May 6 2022 from https://alloytools.org/ 1997. Alloy. Retrieved May 6 2022 from https://alloytools.org/

2. 2002. ASM. Retrieved April 22 2021 from https://asm.ow2.io/ 2002. ASM. Retrieved April 22 2021 from https://asm.ow2.io/

3. 2008. Apache Hadoop MapReduce . Retrieved March 29, 2021 from https://hadoop.apache.org/docs/current/hadoop-mapreduce-client/hadoop-mapreduce-client-core/MapReduceTutorial.html 2008. Apache Hadoop MapReduce. Retrieved March 29, 2021 from https://hadoop.apache.org/docs/current/hadoop-mapreduce-client/hadoop-mapreduce-client-core/MapReduceTutorial.html

4. 2010. Apache ZooKeeper. Retrieved June 14 2020 from https://zookeeper.apache.org/ 2010. Apache ZooKeeper. Retrieved June 14 2020 from https://zookeeper.apache.org/

5. 2010. The TLA+ Toolbox. Retrieved May 6, 2022 from http://lamport.azurewebsites.net/tla/toolbox.html 2010. The TLA+ Toolbox. Retrieved May 6, 2022 from http://lamport.azurewebsites.net/tla/toolbox.html

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

1. An Empirical Study on Kubernetes Operator Bugs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28

3. Non-Functional Requirements Discovery and Quality Assurance Using Goal Model for Earthquake Warning System in Operation;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24

4. SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22

5. Leveraging TLA$$^+$$ Specifications to Improve the Reliability of the ZooKeeperCoordination Service;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15