FRINK Linked Data Fragments server

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

• W2336784315 abstract "The process of measuring the quality of a fault model is a key ingredient for implementing effective verification/testing phases based on fault injection. Most of the existing approaches for the qualification of a fault model base their evaluation on the comparison of the achieved fault coverage against other code coverage metrics, or against the fault coverage achieved by different fault models, sometimes at the varying of the abstraction level. However, these approaches do not explicitly provide a measure of the accuracy of the fault injection with respect to the actual functional behaviours implemented in the design under verification/testing (DUV/T). Thus, the achievement of 100% fault coverage does not necessarily imply that all the design's behaviours have been accurately perturbed by the selected fault model. To provide a more accurate evaluation of fault models, this paper proposes a methodology based on assertion mining, i.e., automatic extraction of temporal assertions from the simulation of the DUV/T. Mined assertions are then used to highlight behaviours of the DUV/T that are not accurately perturbed by the selected fault model." @default.
• W2336784315 created "2016-06-24" @default.
• W2336784315 creator A5025088388 @default.
• W2336784315 creator A5049190654 @default.
• W2336784315 creator A5054272347 @default.
• W2336784315 date "2016-04-01" @default.
• W2336784315 modified "2023-09-23" @default.
• W2336784315 title "Fault model qualification by assertion mining" @default.
• W2336784315 cites W1491807613 @default.
• W2336784315 cites W1506057649 @default.
• W2336784315 cites W1909135950 @default.
• W2336784315 cites W1911878188 @default.
• W2336784315 cites W1936283550 @default.
• W2336784315 cites W1979345835 @default.
• W2336784315 cites W1996832037 @default.
• W2336784315 cites W2031411490 @default.
• W2336784315 cites W2039413528 @default.
• W2336784315 cites W2062132293 @default.
• W2336784315 cites W2100142058 @default.
• W2336784315 cites W2102673752 @default.
• W2336784315 cites W2121043529 @default.
• W2336784315 cites W2121588916 @default.
• W2336784315 cites W2123613958 @default.
• W2336784315 cites W2124618076 @default.
• W2336784315 cites W2128043874 @default.
• W2336784315 cites W2131516413 @default.
• W2336784315 cites W2135492380 @default.
• W2336784315 cites W2135841285 @default.
• W2336784315 cites W2137114625 @default.
• W2336784315 cites W2138869010 @default.
• W2336784315 cites W2142144161 @default.
• W2336784315 cites W2150240033 @default.
• W2336784315 cites W2152406824 @default.
• W2336784315 cites W2156747864 @default.
• W2336784315 cites W2157050266 @default.
• W2336784315 cites W2169370044 @default.
• W2336784315 cites W365636012 @default.
• W2336784315 doi "https://doi.org/10.1109/latw.2016.7483338" @default.
• W2336784315 hasPublicationYear "2016" @default.
• W2336784315 type Work @default.
• W2336784315 sameAs 2336784315 @default.
• W2336784315 citedByCount "0" @default.
• W2336784315 crossrefType "proceedings-article" @default.
• W2336784315 hasAuthorship W2336784315A5025088388 @default.
• W2336784315 hasAuthorship W2336784315A5049190654 @default.
• W2336784315 hasAuthorship W2336784315A5054272347 @default.
• W2336784315 hasConcept C111472728 @default.
• W2336784315 hasConcept C11413529 @default.
• W2336784315 hasConcept C119599485 @default.
• W2336784315 hasConcept C124101348 @default.
• W2336784315 hasConcept C124304363 @default.
• W2336784315 hasConcept C126953365 @default.
• W2336784315 hasConcept C127313418 @default.
• W2336784315 hasConcept C127413603 @default.
• W2336784315 hasConcept C134146338 @default.
• W2336784315 hasConcept C13625343 @default.
• W2336784315 hasConcept C138885662 @default.
• W2336784315 hasConcept C152745839 @default.
• W2336784315 hasConcept C154945302 @default.
• W2336784315 hasConcept C165205528 @default.
• W2336784315 hasConcept C167391956 @default.
• W2336784315 hasConcept C172707124 @default.
• W2336784315 hasConcept C175551986 @default.
• W2336784315 hasConcept C199360897 @default.
• W2336784315 hasConcept C200601418 @default.
• W2336784315 hasConcept C2775928411 @default.
• W2336784315 hasConcept C2777904410 @default.
• W2336784315 hasConcept C2779530757 @default.
• W2336784315 hasConcept C40422974 @default.
• W2336784315 hasConcept C41008148 @default.
• W2336784315 hasConcept C98045186 @default.
• W2336784315 hasConceptScore W2336784315C111472728 @default.
• W2336784315 hasConceptScore W2336784315C11413529 @default.
• W2336784315 hasConceptScore W2336784315C119599485 @default.
• W2336784315 hasConceptScore W2336784315C124101348 @default.
• W2336784315 hasConceptScore W2336784315C124304363 @default.
• W2336784315 hasConceptScore W2336784315C126953365 @default.
• W2336784315 hasConceptScore W2336784315C127313418 @default.
• W2336784315 hasConceptScore W2336784315C127413603 @default.
• W2336784315 hasConceptScore W2336784315C134146338 @default.
• W2336784315 hasConceptScore W2336784315C13625343 @default.
• W2336784315 hasConceptScore W2336784315C138885662 @default.
• W2336784315 hasConceptScore W2336784315C152745839 @default.
• W2336784315 hasConceptScore W2336784315C154945302 @default.
• W2336784315 hasConceptScore W2336784315C165205528 @default.
• W2336784315 hasConceptScore W2336784315C167391956 @default.
• W2336784315 hasConceptScore W2336784315C172707124 @default.
• W2336784315 hasConceptScore W2336784315C175551986 @default.
• W2336784315 hasConceptScore W2336784315C199360897 @default.
• W2336784315 hasConceptScore W2336784315C200601418 @default.
• W2336784315 hasConceptScore W2336784315C2775928411 @default.
• W2336784315 hasConceptScore W2336784315C2777904410 @default.
• W2336784315 hasConceptScore W2336784315C2779530757 @default.
• W2336784315 hasConceptScore W2336784315C40422974 @default.
• W2336784315 hasConceptScore W2336784315C41008148 @default.
• W2336784315 hasConceptScore W2336784315C98045186 @default.
• W2336784315 hasLocation W23367843151 @default.
• W2336784315 hasOpenAccess W2336784315 @default.
• W2336784315 hasPrimaryLocation W23367843151 @default.
• W2336784315 hasRelatedWork W1602921877 @default.

• next