Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler. Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. In Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023. pages 1-8, IEEE, 2023. [doi]
@inproceedings{FunckAHD23,
title = {Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification},
author = {Milan Funck and Sallar Ahmadi-Pour and Vladimir Herdt and Rolf Drechsler},
year = {2023},
doi = {10.1109/FDL59689.2023.10272202},
url = {https://doi.org/10.1109/FDL59689.2023.10272202},
researchr = {https://researchr.org/publication/FunckAHD23},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Forum on Specification & Design Languages, FDL 2023, Turin, Italy, September 13-15, 2023},
publisher = {IEEE},
isbn = {979-8-3503-0737-5},
}