Access Restriction

Author Das, S. ♦ Banerjee, A. ♦ Dasgupta, P.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2012
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations ♦ Applied physics
Subject Keyword Topology ♦ Cost accounting ♦ Standards ♦ Protocols ♦ Performance evaluation ♦ Microelectronics ♦ Computer bugs ♦ Realizability ♦ Test Generation
Abstract Coverage of formal property specifications has important ramifications in design verification. Mutation coverage, a well studied approach towards specification coverage, checks whether the specification fails in the presence of a fault. Existing mutation coverage methods are broadly divided into those which inject the fault into a given implementation and those which inject the fault directly into the specification. This paper presents a theory which unifies these contrasting approaches and extends the mutation coverage approach to partial implementations where some components are given, and for the others, we only have component specifications.
ISBN 9781467345552
ISSN 10817735
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2012-11-19
Publisher Place Japan
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
e-ISBN 9780769548760
Size (in Bytes) 202.33 kB
Page Count 6
Starting Page 137
Ending Page 142

Source: IEEE Xplore Digital Library