共 50 条
- [32] When debugging encounters artificial intelligence: state of the art and open challenges Science China Information Sciences, 2024, 67
- [33] A SAT-Based Debugging Tool for State Machines and Sequence Diagrams SOFTWARE LANGUAGE ENGINEERING, SLE 2014, 2014, 8706 : 21 - +
- [34] Visual Designing and Debugging of Deterministic Finite-State Machines in FSM ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (321): : 55 - 77
- [37] DPDNS 2016 Keynote Beyond Crash Resilient Replicated State Machine 2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2016, : 1270 - 1270