FRINK Linked Data Fragments server

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

• W2162432899 endingPage "35" @default.
• W2162432899 startingPage "28" @default.
• W2162432899 abstract "The paper proposes a comprehensive methodology for property qualification based on a combination of dynamic and static techniques. In particular, given a set of properties defined to check the correctness of a design implementation, the methodology first evaluates property coverage, property overspecification, and it identifies vacuous properties. This is commonly performed by exploiting mutation analysis and automatic testbenches generation, i.e., dynamic strategies. This phase allows us to quickly evaluate the quality of properties with respect to the use of formal approaches. Then, a second phase, based on model checking, is applied to the restricted number of situations, where the dynamic approach is not exhaustive. Experimental results show the effectiveness and efficiency of the proposed methodology." @default.
• W2162432899 created "2016-06-24" @default.
• W2162432899 creator A5002126777 @default.
• W2162432899 creator A5025088388 @default.
• W2162432899 creator A5040302302 @default.
• W2162432899 date "2009-07-13" @default.
• W2162432899 modified "2023-09-23" @default.
• W2162432899 title "The role of mutation analysis for property qualification" @default.
• W2162432899 cites W1483744477 @default.
• W2162432899 cites W1491807613 @default.
• W2162432899 cites W1497843565 @default.
• W2162432899 cites W1503052451 @default.
• W2162432899 cites W1514731943 @default.
• W2162432899 cites W1522416322 @default.
• W2162432899 cites W153866903 @default.
• W2162432899 cites W1567503821 @default.
• W2162432899 cites W1592819458 @default.
• W2162432899 cites W1599379570 @default.
• W2162432899 cites W1725092093 @default.
• W2162432899 cites W1827544094 @default.
• W2162432899 cites W1973614029 @default.
• W2162432899 cites W1976597924 @default.
• W2162432899 cites W1996524997 @default.
• W2162432899 cites W2019873882 @default.
• W2162432899 cites W2032189196 @default.
• W2162432899 cites W2091220439 @default.
• W2162432899 cites W2106305745 @default.
• W2162432899 cites W2122050999 @default.
• W2162432899 cites W2123613958 @default.
• W2162432899 cites W2138869010 @default.
• W2162432899 cites W2145836761 @default.
• W2162432899 cites W2148966220 @default.
• W2162432899 cites W2150240033 @default.
• W2162432899 cites W2152977382 @default.
• W2162432899 cites W2157639559 @default.
• W2162432899 cites W2543899255 @default.
• W2162432899 cites W3145898771 @default.
• W2162432899 doi "https://doi.org/10.5555/1715759.1715763" @default.
• W2162432899 hasPublicationYear "2009" @default.
• W2162432899 type Work @default.
• W2162432899 sameAs 2162432899 @default.
• W2162432899 citedByCount "2" @default.
• W2162432899 countsByYear W21624328992012 @default.
• W2162432899 countsByYear W21624328992016 @default.
• W2162432899 crossrefType "proceedings-article" @default.
• W2162432899 hasAuthorship W2162432899A5002126777 @default.
• W2162432899 hasAuthorship W2162432899A5025088388 @default.
• W2162432899 hasAuthorship W2162432899A5040302302 @default.
• W2162432899 hasConcept C111472728 @default.
• W2162432899 hasConcept C11413529 @default.
• W2162432899 hasConcept C127413603 @default.
• W2162432899 hasConcept C138885662 @default.
• W2162432899 hasConcept C177264268 @default.
• W2162432899 hasConcept C189950617 @default.
• W2162432899 hasConcept C199360897 @default.
• W2162432899 hasConcept C200601418 @default.
• W2162432899 hasConcept C2779530757 @default.
• W2162432899 hasConcept C41008148 @default.
• W2162432899 hasConcept C55439883 @default.
• W2162432899 hasConcept C80444323 @default.
• W2162432899 hasConcept C97686452 @default.
• W2162432899 hasConceptScore W2162432899C111472728 @default.
• W2162432899 hasConceptScore W2162432899C11413529 @default.
• W2162432899 hasConceptScore W2162432899C127413603 @default.
• W2162432899 hasConceptScore W2162432899C138885662 @default.
• W2162432899 hasConceptScore W2162432899C177264268 @default.
• W2162432899 hasConceptScore W2162432899C189950617 @default.
• W2162432899 hasConceptScore W2162432899C199360897 @default.
• W2162432899 hasConceptScore W2162432899C200601418 @default.
• W2162432899 hasConceptScore W2162432899C2779530757 @default.
• W2162432899 hasConceptScore W2162432899C41008148 @default.
• W2162432899 hasConceptScore W2162432899C55439883 @default.
• W2162432899 hasConceptScore W2162432899C80444323 @default.
• W2162432899 hasConceptScore W2162432899C97686452 @default.
• W2162432899 hasLocation W21624328991 @default.
• W2162432899 hasOpenAccess W2162432899 @default.
• W2162432899 hasPrimaryLocation W21624328991 @default.
• W2162432899 hasRelatedWork W118789883 @default.
• W2162432899 hasRelatedWork W1483806673 @default.
• W2162432899 hasRelatedWork W1528952214 @default.
• W2162432899 hasRelatedWork W1852477053 @default.
• W2162432899 hasRelatedWork W1975479084 @default.
• W2162432899 hasRelatedWork W2131811951 @default.
• W2162432899 hasRelatedWork W2182746768 @default.
• W2162432899 hasRelatedWork W2259666034 @default.
• W2162432899 hasRelatedWork W2602300369 @default.
• W2162432899 hasRelatedWork W2738569367 @default.
• W2162432899 hasRelatedWork W2766393167 @default.
• W2162432899 hasRelatedWork W2767527259 @default.
• W2162432899 hasRelatedWork W2794157488 @default.
• W2162432899 hasRelatedWork W2802099708 @default.
• W2162432899 hasRelatedWork W2897742389 @default.
• W2162432899 hasRelatedWork W2951761201 @default.
• W2162432899 hasRelatedWork W2964754217 @default.
• W2162432899 hasRelatedWork W3101423763 @default.
• W2162432899 hasRelatedWork W3115072315 @default.
• W2162432899 hasRelatedWork W66319915 @default.
• W2162432899 isParatext "false" @default.

• next