Author:
Visser W.,Havelund K.,Brat G.,Seungjoon Park
Cited by
225 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
2. CAN-verify: A Verification Tool For BDI Agents;iFM 2023;2023-11-06
3. Static Analysis Method of C Code Based on Model Checking and Defect Pattern Matching;2023 IEEE 5th International Conference on Power, Intelligent Computing and Systems (ICPICS);2023-07-14
4. Reduction of data-value-aware process models: A relevance-based approach;Information Systems;2023-03
5. Practical multiverse debugging through user-defined reductions;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23