Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976101215> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1976101215 abstract "Dynamic invariant detection is the identification of properties of programs by analyzing execution traces. Traditional dynamic invariant detectors, such as Daikon, use naive techniques based on verification of predefined invariant forms. Unfortunately, this may discard many useful knowledge such as relationship between variables. This kind of knowledge can be helpful to understand hidden dependencies in the program. In this paper, we propose to model invariant detection as a machine learning process. We intend to use learning algorithms to find out correlation between variables. We are particularly interested by association rules since they are suitable to detect such relationship. We propose an adaptation to existing learning techniques as well as some pruning algorithms in order to refine the obtained invariants. Compared to the traditional Daikon tool, our approach has successfully inferred many meaningful invariants about variables relationship." @default.
- W1976101215 created "2016-06-24" @default.
- W1976101215 creator A5025337856 @default.
- W1976101215 creator A5043648378 @default.
- W1976101215 date "2012-03-01" @default.
- W1976101215 modified "2023-09-25" @default.
- W1976101215 title "Learning invariants using association rules technique" @default.
- W1976101215 cites W1606787793 @default.
- W1976101215 cites W1992371286 @default.
- W1976101215 cites W1996427106 @default.
- W1976101215 cites W2011958337 @default.
- W1976101215 cites W2099866050 @default.
- W1976101215 cites W2110908283 @default.
- W1976101215 cites W2124081952 @default.
- W1976101215 cites W2133990480 @default.
- W1976101215 cites W2154550022 @default.
- W1976101215 cites W2154642793 @default.
- W1976101215 cites W2157532329 @default.
- W1976101215 cites W2166559705 @default.
- W1976101215 cites W2751318774 @default.
- W1976101215 cites W3039539181 @default.
- W1976101215 doi "https://doi.org/10.1109/icites.2012.6216625" @default.
- W1976101215 hasPublicationYear "2012" @default.
- W1976101215 type Work @default.
- W1976101215 sameAs 1976101215 @default.
- W1976101215 citedByCount "0" @default.
- W1976101215 crossrefType "proceedings-article" @default.
- W1976101215 hasAuthorship W1976101215A5025337856 @default.
- W1976101215 hasAuthorship W1976101215A5043648378 @default.
- W1976101215 hasConcept C108010975 @default.
- W1976101215 hasConcept C119857082 @default.
- W1976101215 hasConcept C154945302 @default.
- W1976101215 hasConcept C190470478 @default.
- W1976101215 hasConcept C199360897 @default.
- W1976101215 hasConcept C33923547 @default.
- W1976101215 hasConcept C37914503 @default.
- W1976101215 hasConcept C41008148 @default.
- W1976101215 hasConcept C6557445 @default.
- W1976101215 hasConcept C80444323 @default.
- W1976101215 hasConcept C86803240 @default.
- W1976101215 hasConcept C98045186 @default.
- W1976101215 hasConceptScore W1976101215C108010975 @default.
- W1976101215 hasConceptScore W1976101215C119857082 @default.
- W1976101215 hasConceptScore W1976101215C154945302 @default.
- W1976101215 hasConceptScore W1976101215C190470478 @default.
- W1976101215 hasConceptScore W1976101215C199360897 @default.
- W1976101215 hasConceptScore W1976101215C33923547 @default.
- W1976101215 hasConceptScore W1976101215C37914503 @default.
- W1976101215 hasConceptScore W1976101215C41008148 @default.
- W1976101215 hasConceptScore W1976101215C6557445 @default.
- W1976101215 hasConceptScore W1976101215C80444323 @default.
- W1976101215 hasConceptScore W1976101215C86803240 @default.
- W1976101215 hasConceptScore W1976101215C98045186 @default.
- W1976101215 hasLocation W19761012151 @default.
- W1976101215 hasOpenAccess W1976101215 @default.
- W1976101215 hasPrimaryLocation W19761012151 @default.
- W1976101215 hasRelatedWork W128438430 @default.
- W1976101215 hasRelatedWork W135572441 @default.
- W1976101215 hasRelatedWork W1488255930 @default.
- W1976101215 hasRelatedWork W1593965618 @default.
- W1976101215 hasRelatedWork W1758923908 @default.
- W1976101215 hasRelatedWork W2073727600 @default.
- W1976101215 hasRelatedWork W2137481367 @default.
- W1976101215 hasRelatedWork W2144899108 @default.
- W1976101215 hasRelatedWork W2146124130 @default.
- W1976101215 hasRelatedWork W2172127734 @default.
- W1976101215 hasRelatedWork W2403207833 @default.
- W1976101215 hasRelatedWork W2460874728 @default.
- W1976101215 hasRelatedWork W2593925740 @default.
- W1976101215 hasRelatedWork W2891160484 @default.
- W1976101215 hasRelatedWork W2949370016 @default.
- W1976101215 hasRelatedWork W2973588525 @default.
- W1976101215 hasRelatedWork W3003216575 @default.
- W1976101215 hasRelatedWork W3140654866 @default.
- W1976101215 hasRelatedWork W36398315 @default.
- W1976101215 hasRelatedWork W95034512 @default.
- W1976101215 isParatext "false" @default.
- W1976101215 isRetracted "false" @default.
- W1976101215 magId "1976101215" @default.
- W1976101215 workType "article" @default.