Author:
Yang Shuo,Wille Robert,Grosse Daniel,Drechler Rolf
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallelizing Random and SAT-based Verification Processes for Improving Toggle Coverage;IPSJ Transactions on System and LSI Design Methodology;2023
2. Enhancing Testbench Quality via Genetic Algorithm;2021 IEEE International Midwest Symposium on Circuits and Systems (MWSCAS);2021-08-09
3. Model-based engineering & simulation of software-intensive systems-of-systems;Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings;2018-09-24
4. Applying an SMT Solver to Coverage-Driven Design Verification;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2018-07-01
5. Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures;Journal of the Brazilian Computer Society;2017-10-13