Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387580063> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4387580063 endingPage "122033" @default.
- W4387580063 startingPage "122033" @default.
- W4387580063 abstract "Modified Condition/Decision Coverage (MC/DC) is an important criterion to test the safety-critical applications because it generates test cases in a linear manner from N+1 to 2N, where N is the number of Atomic Conditions in a given predicate. It is desirable in comparison to the exponential test cases produced for Multiple Condition Coverage (MCC), i.e., 2N. However, MCC with Short-Circuit (SC-MCC) is recommended since most of the safety-critical applications are built on the high-level languages that use Short-Circuit evaluation property. Our goal is to demonstrate that, despite the added overhead, the SC-MCC coverage-based test cases have a high error-detection probability compared to that of MC/DC. In this work, we have considered the CBMC tool to generate both the SC-MCC and MC/DC test cases for 80 RERS benchmark programs. Then, by optimizing the traditional Mutation Testing (using the GCOV tool), we computed the Mutation Score (%) to assess the quality of the generated test cases. As per the Mutation analysis, the proposed SC-MCC outperformed MC/DC for over 75% of the 80 RERS programs considered. Additionally, as per the Execution time analysis, the average total time taken to evaluate the MC/DC part of the proposed framework is 3065.98 s, whereas SC-MCC framework evaluation took 2167.70 s. This proves the efficiency of the proposed (SC-MCC) work over the traditional criterion (MC/DC) based work." @default.
- W4387580063 created "2023-10-13" @default.
- W4387580063 creator A5033754131 @default.
- W4387580063 creator A5076456632 @default.
- W4387580063 date "2023-10-01" @default.
- W4387580063 modified "2023-10-14" @default.
- W4387580063 title "Automated SC-MCC test case generation using bounded model checking for safety-critical applications" @default.
- W4387580063 cites W1971603947 @default.
- W4387580063 cites W1977437303 @default.
- W4387580063 cites W1987810036 @default.
- W4387580063 cites W1996522627 @default.
- W4387580063 cites W2005281904 @default.
- W4387580063 cites W2052849207 @default.
- W4387580063 cites W2055425904 @default.
- W4387580063 cites W2074917083 @default.
- W4387580063 cites W2090456105 @default.
- W4387580063 cites W2096662969 @default.
- W4387580063 cites W2118672542 @default.
- W4387580063 cites W2162200351 @default.
- W4387580063 cites W2319233218 @default.
- W4387580063 cites W2543509331 @default.
- W4387580063 cites W2556551352 @default.
- W4387580063 cites W2896319920 @default.
- W4387580063 cites W2904317103 @default.
- W4387580063 cites W3047612131 @default.
- W4387580063 cites W3197473634 @default.
- W4387580063 cites W4206303590 @default.
- W4387580063 cites W4328028480 @default.
- W4387580063 cites W86290638 @default.
- W4387580063 doi "https://doi.org/10.1016/j.eswa.2023.122033" @default.
- W4387580063 hasPublicationYear "2023" @default.
- W4387580063 type Work @default.
- W4387580063 citedByCount "0" @default.
- W4387580063 crossrefType "journal-article" @default.
- W4387580063 hasAuthorship W4387580063A5033754131 @default.
- W4387580063 hasAuthorship W4387580063A5076456632 @default.
- W4387580063 hasConcept C110251889 @default.
- W4387580063 hasConcept C11413529 @default.
- W4387580063 hasConcept C127413603 @default.
- W4387580063 hasConcept C13280743 @default.
- W4387580063 hasConcept C134306372 @default.
- W4387580063 hasConcept C151376022 @default.
- W4387580063 hasConcept C185798385 @default.
- W4387580063 hasConcept C199360897 @default.
- W4387580063 hasConcept C200601418 @default.
- W4387580063 hasConcept C205649164 @default.
- W4387580063 hasConcept C2777904410 @default.
- W4387580063 hasConcept C2779960059 @default.
- W4387580063 hasConcept C33923547 @default.
- W4387580063 hasConcept C34388435 @default.
- W4387580063 hasConcept C41008148 @default.
- W4387580063 hasConcept C53942775 @default.
- W4387580063 hasConceptScore W4387580063C110251889 @default.
- W4387580063 hasConceptScore W4387580063C11413529 @default.
- W4387580063 hasConceptScore W4387580063C127413603 @default.
- W4387580063 hasConceptScore W4387580063C13280743 @default.
- W4387580063 hasConceptScore W4387580063C134306372 @default.
- W4387580063 hasConceptScore W4387580063C151376022 @default.
- W4387580063 hasConceptScore W4387580063C185798385 @default.
- W4387580063 hasConceptScore W4387580063C199360897 @default.
- W4387580063 hasConceptScore W4387580063C200601418 @default.
- W4387580063 hasConceptScore W4387580063C205649164 @default.
- W4387580063 hasConceptScore W4387580063C2777904410 @default.
- W4387580063 hasConceptScore W4387580063C2779960059 @default.
- W4387580063 hasConceptScore W4387580063C33923547 @default.
- W4387580063 hasConceptScore W4387580063C34388435 @default.
- W4387580063 hasConceptScore W4387580063C41008148 @default.
- W4387580063 hasConceptScore W4387580063C53942775 @default.
- W4387580063 hasLocation W43875800631 @default.
- W4387580063 hasOpenAccess W4387580063 @default.
- W4387580063 hasPrimaryLocation W43875800631 @default.
- W4387580063 hasRelatedWork W1484021165 @default.
- W4387580063 hasRelatedWork W1538854713 @default.
- W4387580063 hasRelatedWork W1560496689 @default.
- W4387580063 hasRelatedWork W1993103557 @default.
- W4387580063 hasRelatedWork W2400856453 @default.
- W4387580063 hasRelatedWork W3013085049 @default.
- W4387580063 hasRelatedWork W3125672081 @default.
- W4387580063 hasRelatedWork W4297797135 @default.
- W4387580063 hasRelatedWork W4385301946 @default.
- W4387580063 hasRelatedWork W4386900933 @default.
- W4387580063 isParatext "false" @default.
- W4387580063 isRetracted "false" @default.
- W4387580063 workType "article" @default.