Publisher
Open Publishing Association
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Novel Approach for Specification and Verification of Symmetric Distributed Algorithms Using SPIN;2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC);2024-05-14
2. Model checking programs in process-oriented IEC 61131-3 Structured Text;Modeling and Analysis of Information Systems;2024-03-28
3. Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02
4. Enabling Go Program Analysis in Rascal;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02
5. Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11