Author:
Bonato Marco,Di Guglielmo Giuseppe,Fujita Masahiro,Fummi Franco,Pravadelli Graziano
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification;2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS);2024-07-03
2. Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions;2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC);2022-10-03
3. Dynamic Specification Mining Based on Transformer;Theoretical Aspects of Software Engineering;2022
4. General past-time linear temporal logic specification mining;CCF Transactions on High Performance Computing;2021-10-19
5. Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference;Proceedings of the 56th Annual Design Automation Conference 2019;2019-06-02