IEEE - Institute of Electrical and Electronics Engineers, Inc. - The Role of Mutation Analysis for Property Qualification

2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

Author(s): Luigi Di Guglielmo ; Franco Fummi ; Graziano Pravadelli
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2009
Conference Location: Cambridge, MA, USA, USA
Conference Date: 13 July 2009
Page(s): 28 - 35
ISBN (Paper): 978-1-4244-4806-7
DOI: 10.1109/MEMCOD.2009.5185375
Regular:

The paper proposes a comprehensive methodology for property qualification based on a combination of dynamic and static techniques. In particular, given a set of properties defined to check the... View More

Advertisement