Author:
Musuvathi Madanlal,Park David Y. W.,Chou Andy,Engler Dawson R.,Dill David L.
Cited by
110 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Model‐checking‐driven explorative testing of CRDT designs and implementations;Journal of Software: Evolution and Process;2023-03-15
2. Model Checking for Scheduling on Flight Decks of Aircraft Carriers;2023 IEEE 6th Information Technology,Networking,Electronic and Automation Control Conference (ITNEC);2023-02-24
3. Abstracting IoT protocols using timed process algebra and SPIN model checker;Cluster Computing;2023-01-16
4. Towards Extending the Range of Bugs That Automated Program Repair Can Handle;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12
5. OS‐in‐the‐Loop verification for multi‐tasking control software;Software Testing, Verification and Reliability;2022-11-17