Matches in SemOpenAlex for { <https://semopenalex.org/work/W142783228> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W142783228 abstract "Specification mining has become an attractive tool for assisting in numerous software development and maintenance tasks. The majority of these techniques share a common assumption: significant program properties occur frequently. Unfortunately, statistical inference alone produces too many program properties, many of which are found to be either insignificant or meaningless. Consequently, it becomes a laborious task for developers to separate semantically meaningful specifications from the rest. In this paper, we present a semantic-directed specification mining framework that injects in-depth semantics information into mining input. Specifically, we investigate the introduction of dataflow semantics to extract dataflow related sequences from execution traces, and demonstrate that mining specifications from these dataflow related sequences reduces a great number of meaningless specifications, resulting in a collection of specifications which are both semantically relevant and statistically significant. Our experimental results indicate that our approach can effectively filter out insignificant specifications and greatly improve the efficiency of mining. In addition, we also show that our mined specifications reflect the essential program behavior and can practically help program understanding and bug detection." @default.
- W142783228 created "2016-06-24" @default.
- W142783228 creator A5037713727 @default.
- W142783228 creator A5073352371 @default.
- W142783228 date "2013-01-01" @default.
- W142783228 modified "2023-09-27" @default.
- W142783228 title "Mining Dataflow Sensitive Specifications" @default.
- W142783228 cites W1563105074 @default.
- W142783228 cites W2025677988 @default.
- W142783228 cites W2039902065 @default.
- W142783228 cites W2123227336 @default.
- W142783228 cites W2129058735 @default.
- W142783228 cites W2130730821 @default.
- W142783228 cites W2136230992 @default.
- W142783228 cites W2136646111 @default.
- W142783228 cites W2153964911 @default.
- W142783228 cites W2295399529 @default.
- W142783228 cites W3106729728 @default.
- W142783228 cites W4247632680 @default.
- W142783228 doi "https://doi.org/10.1007/978-3-642-41202-8_4" @default.
- W142783228 hasPublicationYear "2013" @default.
- W142783228 type Work @default.
- W142783228 sameAs 142783228 @default.
- W142783228 citedByCount "2" @default.
- W142783228 countsByYear W1427832282019 @default.
- W142783228 crossrefType "book-chapter" @default.
- W142783228 hasAuthorship W142783228A5037713727 @default.
- W142783228 hasAuthorship W142783228A5073352371 @default.
- W142783228 hasConcept C1009929 @default.
- W142783228 hasConcept C106131492 @default.
- W142783228 hasConcept C115903868 @default.
- W142783228 hasConcept C116253237 @default.
- W142783228 hasConcept C124101348 @default.
- W142783228 hasConcept C154945302 @default.
- W142783228 hasConcept C162324750 @default.
- W142783228 hasConcept C184337299 @default.
- W142783228 hasConcept C187736073 @default.
- W142783228 hasConcept C199360897 @default.
- W142783228 hasConcept C2776214188 @default.
- W142783228 hasConcept C2777904410 @default.
- W142783228 hasConcept C2780451532 @default.
- W142783228 hasConcept C31972630 @default.
- W142783228 hasConcept C41008148 @default.
- W142783228 hasConcept C96324660 @default.
- W142783228 hasConceptScore W142783228C1009929 @default.
- W142783228 hasConceptScore W142783228C106131492 @default.
- W142783228 hasConceptScore W142783228C115903868 @default.
- W142783228 hasConceptScore W142783228C116253237 @default.
- W142783228 hasConceptScore W142783228C124101348 @default.
- W142783228 hasConceptScore W142783228C154945302 @default.
- W142783228 hasConceptScore W142783228C162324750 @default.
- W142783228 hasConceptScore W142783228C184337299 @default.
- W142783228 hasConceptScore W142783228C187736073 @default.
- W142783228 hasConceptScore W142783228C199360897 @default.
- W142783228 hasConceptScore W142783228C2776214188 @default.
- W142783228 hasConceptScore W142783228C2777904410 @default.
- W142783228 hasConceptScore W142783228C2780451532 @default.
- W142783228 hasConceptScore W142783228C31972630 @default.
- W142783228 hasConceptScore W142783228C41008148 @default.
- W142783228 hasConceptScore W142783228C96324660 @default.
- W142783228 hasLocation W1427832281 @default.
- W142783228 hasOpenAccess W142783228 @default.
- W142783228 hasPrimaryLocation W1427832281 @default.
- W142783228 hasRelatedWork W1554979559 @default.
- W142783228 hasRelatedWork W1987764656 @default.
- W142783228 hasRelatedWork W2072351128 @default.
- W142783228 hasRelatedWork W2150240046 @default.
- W142783228 hasRelatedWork W2182273135 @default.
- W142783228 hasRelatedWork W2187811116 @default.
- W142783228 hasRelatedWork W2295399529 @default.
- W142783228 hasRelatedWork W2560572590 @default.
- W142783228 hasRelatedWork W2588064449 @default.
- W142783228 hasRelatedWork W2599880209 @default.
- W142783228 hasRelatedWork W2901461314 @default.
- W142783228 hasRelatedWork W2914044286 @default.
- W142783228 hasRelatedWork W2949386788 @default.
- W142783228 hasRelatedWork W3006215161 @default.
- W142783228 hasRelatedWork W3026988216 @default.
- W142783228 hasRelatedWork W3086549913 @default.
- W142783228 hasRelatedWork W3189788444 @default.
- W142783228 hasRelatedWork W3194304507 @default.
- W142783228 hasRelatedWork W3196193006 @default.
- W142783228 hasRelatedWork W2116158651 @default.
- W142783228 isParatext "false" @default.
- W142783228 isRetracted "false" @default.
- W142783228 magId "142783228" @default.
- W142783228 workType "book-chapter" @default.