Author:
Wang Cong,He Fei,Song Xiaoyu,Jiang Yu,Gu Ming,Sun Jiaguang
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Invited Talk: Pros and Cons of Assertion Mining;2024 IEEE 25th Latin American Test Symposium (LATS);2024-04-09
2. HARM: A Hint-Based Assertion Miner;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-11
3. 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
4. An Efficient Formal Verification Method in I/O Multiplexing Module Based on VC Formal CC;2020 IEEE 3rd International Conference on Electronics and Communication Engineering (ICECE);2020-12-14
5. Go-Sanitizer: Bug-Oriented Assertion Generation for Golang;2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2019-10