Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing

DOI10.1109/TC.2020.2988906OpenAlexW3020588458MaRDI QIDQ3389775FDOQ3389775

Authors: Haifeng Gu, Jian-Ning Zhang, Mingsong Chen, Tongquan Wei, Li Lei, Fei Xie 

Publication date: 23 March 2022

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2020.2988906

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389775)