Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Computers"
DOI: 10.1109/tc.2020.2988906
Abstract: Modern software systems, either system or application software, are increasingly being developed on top of virtualized software platforms. They may simply intend to execute on virtual machines or they may be expected to port to… read more here.
Keywords: checking virtual; silicon; virtual silicon; conformance checking ... See more keywords