Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Knowledge-Augmented Mutation-Based Bug Localization for Hardware Design Code
J Wu, Z Zhang, D Yang, J Xu, J He, X Mao - ACM Transactions on …, 2024 - dl.acm.org
Verification of hardware design code is crucial for the quality assurance of hardware
products. Being an indispensable part of verification, localizing bugs in the hardware design …
products. Being an indispensable part of verification, localizing bugs in the hardware design …
An Exploratory Study on Using Large Language Models for Mutation Testing
The question of how to generate high-utility mutations, to be used for testing purposes, forms
a key challenge in mutation testing literature.% Existing approaches rely either on human …
a key challenge in mutation testing literature.% Existing approaches rely either on human …
Simple but Powerful Beginning: Metamorphic Verification Framework for Cryptographic Hardware Design
J Xu, J Wu, J He, D Yang, X Mao - 2024 IEEE 30th International …, 2024 - ieeexplore.ieee.org
Complexity of cryptographic algorithm renders verification of cryptographic hardware design
vulnerable to the oracle problem. We propose Minoan: the first opensource verification …
vulnerable to the oracle problem. We propose Minoan: the first opensource verification …