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

DOI10.1109/TC.2020.2988906MaRDI QIDQ3389775zbMATH OpenOpenAlexFDO

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)