FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W65164916> ?p ?o ?g. }

• W65164916 abstract "Mutation analysis is a fault-based testing technique that uses mutation operators to introduce small changes into a program or specification, producing mutants, and then chooses test cases to distinguish the mutants from the original. Mutation operators differ in the coverage they get. They also differ in the number of mutants they generate. Consequently, selecting mutation operators is an important problem whose solution affects the effectiveness and cost of mutation testing. We use the automated test generation and evaluation method that combines a model checker and mutation analysis. We define a set of mutation operators and implement a mutation generator for specifications written in SMV, a popular model checker. To select the most effective mutation operators and sets of operators, we compare them using both theoretical and experimental methods. We construct mutation detection conditions and develop a technique to theoretically compare mutation operators. We apply mutation coverage and pairwise coverage metrics to empirically compare the effectiveness of mutation operators. To detect a fault in a program, a test case must cause the fault to affect the outputs, not just intermediate variables. We develop a method that uses a model checker to guarantee that tests cause visible output failures. We find that mutation operators form a hierarchy with respect to detection capability; we can skip a test for a mutation from an easier-to-detect mutation operator in the hierarchy, provided that we detect a corresponding mutation from a harder-to-detect operator. Our theoretical technique allows us to prove that the hierarchy applies to arbitrary logic expressions, whereas previous results apply only to logic expressions in disjunctive normal form. Based on analysis and empirical evaluation, we recommend mutation operators and sets of mutation operators that yield good test coverage at a reduced cost. Our experiments show that specification-based mutation can be applied to test programs; it gets good program-based coverage. Our method for guaranteeing fault visibility is very effective for black-box testing of programs which have a large intermediate state. This thesis shows that specification-based mutation can be used to economically generate effective tests." @default.
• W65164916 created "2016-06-24" @default.
• W65164916 creator A5012905443 @default.
• W65164916 creator A5083830422 @default.
• W65164916 date "2004-01-01" @default.
• W65164916 modified "2023-09-26" @default.
• W65164916 title "Specification mutation for test generation and analysis" @default.
• W65164916 cites W126658542 @default.
• W65164916 cites W129578873 @default.
• W65164916 cites W1503170978 @default.
• W65164916 cites W1506339322 @default.
• W65164916 cites W1507959092 @default.
• W65164916 cites W1538643901 @default.
• W65164916 cites W1547339196 @default.
• W65164916 cites W1558093988 @default.
• W65164916 cites W1568417741 @default.
• W65164916 cites W1584571167 @default.
• W65164916 cites W1590256365 @default.
• W65164916 cites W1809006150 @default.
• W65164916 cites W1883070969 @default.
• W65164916 cites W1896160926 @default.
• W65164916 cites W1985551847 @default.
• W65164916 cites W1990467226 @default.
• W65164916 cites W1996596150 @default.
• W65164916 cites W2001679388 @default.
• W65164916 cites W2004306067 @default.
• W65164916 cites W2005150099 @default.
• W65164916 cites W2006159725 @default.
• W65164916 cites W2022696593 @default.
• W65164916 cites W2023808162 @default.
• W65164916 cites W2025918428 @default.
• W65164916 cites W2027711654 @default.
• W65164916 cites W2028828983 @default.
• W65164916 cites W2030224590 @default.
• W65164916 cites W2039659675 @default.
• W65164916 cites W2040913826 @default.
• W65164916 cites W2041027758 @default.
• W65164916 cites W2046138576 @default.
• W65164916 cites W2047619809 @default.
• W65164916 cites W2049695835 @default.
• W65164916 cites W2050947884 @default.
• W65164916 cites W2055647675 @default.
• W65164916 cites W2055657398 @default.
• W65164916 cites W2060135116 @default.
• W65164916 cites W2062629743 @default.
• W65164916 cites W2089599682 @default.
• W65164916 cites W2089961470 @default.
• W65164916 cites W2099645986 @default.
• W65164916 cites W2100425664 @default.
• W65164916 cites W2100500048 @default.
• W65164916 cites W2101361140 @default.
• W65164916 cites W2117189826 @default.
• W65164916 cites W2118774213 @default.
• W65164916 cites W2119283374 @default.
• W65164916 cites W2120552859 @default.
• W65164916 cites W2121084350 @default.
• W65164916 cites W2122796178 @default.
• W65164916 cites W2123097607 @default.
• W65164916 cites W2130123065 @default.
• W65164916 cites W2131354319 @default.
• W65164916 cites W2131435851 @default.
• W65164916 cites W2132264164 @default.
• W65164916 cites W2132840411 @default.
• W65164916 cites W2134691366 @default.
• W65164916 cites W2136887998 @default.
• W65164916 cites W2143889043 @default.
• W65164916 cites W2147880466 @default.
• W65164916 cites W2147974680 @default.
• W65164916 cites W2148386167 @default.
• W65164916 cites W2151056896 @default.
• W65164916 cites W2151953478 @default.
• W65164916 cites W2154897437 @default.
• W65164916 cites W2156411624 @default.
• W65164916 cites W2157755550 @default.
• W65164916 cites W2159192054 @default.
• W65164916 cites W2162200351 @default.
• W65164916 cites W2165026393 @default.
• W65164916 cites W2168865081 @default.
• W65164916 cites W2172044536 @default.
• W65164916 cites W2172253171 @default.
• W65164916 cites W2913459036 @default.
• W65164916 cites W303139982 @default.
• W65164916 cites W2403314400 @default.
• W65164916 hasPublicationYear "2004" @default.
• W65164916 type Work @default.
• W65164916 sameAs 65164916 @default.
• W65164916 citedByCount "9" @default.
• W65164916 countsByYear W651649162012 @default.
• W65164916 countsByYear W651649162015 @default.
• W65164916 countsByYear W651649162016 @default.
• W65164916 countsByYear W651649162019 @default.
• W65164916 crossrefType "journal-article" @default.
• W65164916 hasAuthorship W65164916A5012905443 @default.
• W65164916 hasAuthorship W65164916A5083830422 @default.
• W65164916 hasConcept C104317684 @default.
• W65164916 hasConcept C11413529 @default.
• W65164916 hasConcept C119857082 @default.
• W65164916 hasConcept C154945302 @default.
• W65164916 hasConcept C158448853 @default.
• W65164916 hasConcept C162324750 @default.

• next