%0 Journal Article %1 journals/tc/WangZCM23 %A Wang, Guang %A Zhu, Ziyuan %A Cheng, Xu %A Meng, Dan %D 2023 %J IEEE Trans. Computers %K dblp %N 11 %P 3203-3217 %T A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors. %U http://dblp.uni-trier.de/db/journals/tc/tc72.html#WangZCM23 %V 72

@article{journals/tc/WangZCM23, added-at = {2024-02-12T00:00:00.000+0100}, author = {Wang, Guang and Zhu, Ziyuan and Cheng, Xu and Meng, Dan}, biburl = {https://www.bibsonomy.org/bibtex/27e880c4e0b3763bc503dfd94a1454ce0/dblp}, ee = {https://doi.org/10.1109/TC.2023.3288762}, interhash = {abf7b20e5371dfa84679bcfeff0d0635}, intrahash = {7e880c4e0b3763bc503dfd94a1454ce0}, journal = {IEEE Trans. Computers}, keywords = {dblp}, month = {November}, number = 11, pages = {3203-3217}, timestamp = {2024-04-08T18:28:57.000+0200}, title = {A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc72.html#WangZCM23}, volume = 72, year = 2023 }