Author:
Blicha Martin,Hyvärinen Antti E. J.,Marescotti Matteo,Sharygina Natasha
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exchanging information in cooperative software validation;Software and Systems Modeling;2024-03-19
2. A
Solicitous
Approach to Smart Contract Verification;ACM Transactions on Privacy and Security;2023-03-13
3. Distributed bounded model checking;Formal Methods in System Design;2022-01-05
4. Information Exchange Between Over- and Underapproximating Software Analyses;Software Engineering and Formal Methods;2022
5. Cooperative verifier-based testing with CoVeriTest;International Journal on Software Tools for Technology Transfer;2021-04-25