Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109964207> ?p ?o ?g. }
- W2109964207 endingPage "840" @default.
- W2109964207 startingPage "820" @default.
- W2109964207 abstract "A recent theoretical study has proved that the MUMCUT testing strategy (1) guarantees to detect seven types of fault in Boolean specifications in irredundant disjunctive normal form, and (2) requires only a subset of the test sets that satisfy the previously proposed MAX-A and MAX-B strategies, which can detect the same types of fault. This paper complements previous work by investigating various methods for the automatic generation of test cases to satisfy the MUMCUT strategy. We evaluate these methods by using several sets of Boolean expressions, including those derived from real airborne software systems. Our results indicate that the greedy CUN and UCN methods are clearly better than others in consistently producing significantly smaller test sets, whose sizes exhibit linear correlation with the length of the Boolean expressions in irredundant disjunctive normal form. This study provides empirical evidences that the MUMCUT strategy is indeed cost-effective for detecting the faults considered in this paper." @default.
- W2109964207 created "2016-06-24" @default.
- W2109964207 creator A5000379396 @default.
- W2109964207 creator A5035107113 @default.
- W2109964207 creator A5054193222 @default.
- W2109964207 date "2006-06-01" @default.
- W2109964207 modified "2023-10-16" @default.
- W2109964207 title "Automatic generation of test cases from Boolean specifications using the MUMCUT strategy" @default.
- W2109964207 cites W1562896096 @default.
- W2109964207 cites W1770809009 @default.
- W2109964207 cites W1980815151 @default.
- W2109964207 cites W1990467226 @default.
- W2109964207 cites W2011325955 @default.
- W2109964207 cites W2022696593 @default.
- W2109964207 cites W2025918428 @default.
- W2109964207 cites W2026701697 @default.
- W2109964207 cites W2027243493 @default.
- W2109964207 cites W2028828983 @default.
- W2109964207 cites W2040019420 @default.
- W2109964207 cites W2042788642 @default.
- W2109964207 cites W2061439988 @default.
- W2109964207 cites W2073018571 @default.
- W2109964207 cites W2079036312 @default.
- W2109964207 cites W2089599682 @default.
- W2109964207 cites W2096662969 @default.
- W2109964207 cites W2100425664 @default.
- W2109964207 cites W2101629181 @default.
- W2109964207 cites W2120552859 @default.
- W2109964207 cites W2121962682 @default.
- W2109964207 cites W2130579590 @default.
- W2109964207 cites W2131354319 @default.
- W2109964207 cites W2147880466 @default.
- W2109964207 cites W2148386167 @default.
- W2109964207 cites W2162200351 @default.
- W2109964207 cites W2172044536 @default.
- W2109964207 cites W4253456425 @default.
- W2109964207 doi "https://doi.org/10.1016/j.jss.2005.08.016" @default.
- W2109964207 hasPublicationYear "2006" @default.
- W2109964207 type Work @default.
- W2109964207 sameAs 2109964207 @default.
- W2109964207 citedByCount "37" @default.
- W2109964207 countsByYear W21099642072012 @default.
- W2109964207 countsByYear W21099642072013 @default.
- W2109964207 countsByYear W21099642072014 @default.
- W2109964207 countsByYear W21099642072015 @default.
- W2109964207 countsByYear W21099642072017 @default.
- W2109964207 countsByYear W21099642072020 @default.
- W2109964207 countsByYear W21099642072021 @default.
- W2109964207 countsByYear W21099642072022 @default.
- W2109964207 countsByYear W21099642072023 @default.
- W2109964207 crossrefType "journal-article" @default.
- W2109964207 hasAuthorship W2109964207A5000379396 @default.
- W2109964207 hasAuthorship W2109964207A5035107113 @default.
- W2109964207 hasAuthorship W2109964207A5054193222 @default.
- W2109964207 hasConcept C11413529 @default.
- W2109964207 hasConcept C127313418 @default.
- W2109964207 hasConcept C136726353 @default.
- W2109964207 hasConcept C158465420 @default.
- W2109964207 hasConcept C165205528 @default.
- W2109964207 hasConcept C175551986 @default.
- W2109964207 hasConcept C187455244 @default.
- W2109964207 hasConcept C188598960 @default.
- W2109964207 hasConcept C199360897 @default.
- W2109964207 hasConcept C2777904410 @default.
- W2109964207 hasConcept C33923547 @default.
- W2109964207 hasConcept C41008148 @default.
- W2109964207 hasConcept C80444323 @default.
- W2109964207 hasConceptScore W2109964207C11413529 @default.
- W2109964207 hasConceptScore W2109964207C127313418 @default.
- W2109964207 hasConceptScore W2109964207C136726353 @default.
- W2109964207 hasConceptScore W2109964207C158465420 @default.
- W2109964207 hasConceptScore W2109964207C165205528 @default.
- W2109964207 hasConceptScore W2109964207C175551986 @default.
- W2109964207 hasConceptScore W2109964207C187455244 @default.
- W2109964207 hasConceptScore W2109964207C188598960 @default.
- W2109964207 hasConceptScore W2109964207C199360897 @default.
- W2109964207 hasConceptScore W2109964207C2777904410 @default.
- W2109964207 hasConceptScore W2109964207C33923547 @default.
- W2109964207 hasConceptScore W2109964207C41008148 @default.
- W2109964207 hasConceptScore W2109964207C80444323 @default.
- W2109964207 hasIssue "6" @default.
- W2109964207 hasLocation W21099642071 @default.
- W2109964207 hasOpenAccess W2109964207 @default.
- W2109964207 hasPrimaryLocation W21099642071 @default.
- W2109964207 hasRelatedWork W1979404172 @default.
- W2109964207 hasRelatedWork W2017317082 @default.
- W2109964207 hasRelatedWork W2022827010 @default.
- W2109964207 hasRelatedWork W2053394780 @default.
- W2109964207 hasRelatedWork W2109930162 @default.
- W2109964207 hasRelatedWork W2146032463 @default.
- W2109964207 hasRelatedWork W2191105099 @default.
- W2109964207 hasRelatedWork W2345332015 @default.
- W2109964207 hasRelatedWork W4379468960 @default.
- W2109964207 hasRelatedWork W2472548700 @default.
- W2109964207 hasVolume "79" @default.
- W2109964207 isParatext "false" @default.
- W2109964207 isRetracted "false" @default.
- W2109964207 magId "2109964207" @default.