114 search results - page 4 / 23 » Sufficient mutation operators for measuring test effectivene... |
TVLSI
2008
13 years 7 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
ICSE
2010
IEEE-ACM
14 years 8 days ago
2010
IEEE-ACM
Due to the expensiveness of compiling and executing a large number of mutants, it is usually necessary to select a subset of mutants to substitute the whole set of generated mutan...
ENASE
2011
12 years 7 months ago
2011
In previous research, many mutation selection techniques have been proposed to reduce the cost of mutation analysis. After a mutant subset is selected, researchers could obtain a t...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
PASTE
2005
ACM
14 years 1 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...