Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
153 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Robustness Testing of Software Verifiers;Software Engineering and Formal Methods;2023
2. Nondeterminism and Guarded Commands;Edsger Wybe Dijkstra;2022-07-12
3. Probabilistic Trace and Testing Semantics: The Importance of Being Coherent;Foundations and Trends® in Programming Languages;2022
4. Transformation of Contract Descriptions in a Domain Specific Language to Solidity Assembly;2020 20th International Conference on Advances in ICT for Emerging Regions (ICTer);2020-11-04
5. Testing Equivalences of Time Petri Nets;Programming and Computer Software;2020-07