Author:
Cho Chia Yuan,D'Silva Vijay,Song Dawn
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Analyses of IOT Event Monitoring Systems;Computer Aided Verification;2023
2. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization;ACM Transactions on Programming Languages and Systems;2022-03-31
3. BMC+Fuzz: Efficient and Effective Test Generation;2022 Design, Automation & Test in Europe Conference & Exhibition (DATE);2022-03-14
4. Refined Modularization for Bounded Model Checking Through Precondition Generation;Formal Methods and Software Engineering;2022
5. Path-sensitive sparse analysis without path conditions;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18