Matches in SemOpenAlex for { <https://semopenalex.org/work/W2990523208> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2990523208 abstract "Mining software specifications is an important research topic, since a software specification is essential for program testing and verification to ensure the correctness of a software. Lo et at. proposed a software specification miner, called BOB, which finds recurrent rules from a sequence database. A recurrent rule has a suitable property to represent temporal notions such as “eventuality” and “regularity” (i.e., always). In BOB, the mining task is realized, among others, by two steps: first generating rule pre/post-conditions and then forming rules by pairing them. This paper proposes a new method, Interleaved Bidirectional Recurrent Rule Miner (iBiRM for short); the idea of the iBiRM algorithm is to interleave the two steps so that intermediate data in the preceding algorithm can be eliminated. It also incorporates a new support counting method tailored to recurrent rule mining to reduce the number of scanning a given database. We also give experimental results, which show that our algorithm improves on the previous approach." @default.
- W2990523208 created "2019-12-05" @default.
- W2990523208 creator A5008180611 @default.
- W2990523208 creator A5033835378 @default.
- W2990523208 date "2019-10-01" @default.
- W2990523208 modified "2023-09-25" @default.
- W2990523208 title "A New Algorithm for Mining Recurrent Rules from a Sequence Database" @default.
- W2990523208 cites W1530885903 @default.
- W2990523208 cites W1676985236 @default.
- W2990523208 cites W1985716338 @default.
- W2990523208 cites W2122182354 @default.
- W2990523208 cites W2126046032 @default.
- W2990523208 cites W2134691366 @default.
- W2990523208 cites W2775816344 @default.
- W2990523208 cites W2946435620 @default.
- W2990523208 doi "https://doi.org/10.1109/smc.2019.8914166" @default.
- W2990523208 hasPublicationYear "2019" @default.
- W2990523208 type Work @default.
- W2990523208 sameAs 2990523208 @default.
- W2990523208 citedByCount "0" @default.
- W2990523208 crossrefType "proceedings-article" @default.
- W2990523208 hasAuthorship W2990523208A5008180611 @default.
- W2990523208 hasAuthorship W2990523208A5033835378 @default.
- W2990523208 hasConcept C104317684 @default.
- W2990523208 hasConcept C111472728 @default.
- W2990523208 hasConcept C11413529 @default.
- W2990523208 hasConcept C124101348 @default.
- W2990523208 hasConcept C127413603 @default.
- W2990523208 hasConcept C138885662 @default.
- W2990523208 hasConcept C185592680 @default.
- W2990523208 hasConcept C189950617 @default.
- W2990523208 hasConcept C193524817 @default.
- W2990523208 hasConcept C199360897 @default.
- W2990523208 hasConcept C201995342 @default.
- W2990523208 hasConcept C2777904410 @default.
- W2990523208 hasConcept C2778112365 @default.
- W2990523208 hasConcept C2778744189 @default.
- W2990523208 hasConcept C2780451532 @default.
- W2990523208 hasConcept C41008148 @default.
- W2990523208 hasConcept C41584329 @default.
- W2990523208 hasConcept C54355233 @default.
- W2990523208 hasConcept C55439883 @default.
- W2990523208 hasConcept C55493867 @default.
- W2990523208 hasConcept C77088390 @default.
- W2990523208 hasConcept C80444323 @default.
- W2990523208 hasConcept C81440476 @default.
- W2990523208 hasConcept C86803240 @default.
- W2990523208 hasConcept C87146676 @default.
- W2990523208 hasConceptScore W2990523208C104317684 @default.
- W2990523208 hasConceptScore W2990523208C111472728 @default.
- W2990523208 hasConceptScore W2990523208C11413529 @default.
- W2990523208 hasConceptScore W2990523208C124101348 @default.
- W2990523208 hasConceptScore W2990523208C127413603 @default.
- W2990523208 hasConceptScore W2990523208C138885662 @default.
- W2990523208 hasConceptScore W2990523208C185592680 @default.
- W2990523208 hasConceptScore W2990523208C189950617 @default.
- W2990523208 hasConceptScore W2990523208C193524817 @default.
- W2990523208 hasConceptScore W2990523208C199360897 @default.
- W2990523208 hasConceptScore W2990523208C201995342 @default.
- W2990523208 hasConceptScore W2990523208C2777904410 @default.
- W2990523208 hasConceptScore W2990523208C2778112365 @default.
- W2990523208 hasConceptScore W2990523208C2778744189 @default.
- W2990523208 hasConceptScore W2990523208C2780451532 @default.
- W2990523208 hasConceptScore W2990523208C41008148 @default.
- W2990523208 hasConceptScore W2990523208C41584329 @default.
- W2990523208 hasConceptScore W2990523208C54355233 @default.
- W2990523208 hasConceptScore W2990523208C55439883 @default.
- W2990523208 hasConceptScore W2990523208C55493867 @default.
- W2990523208 hasConceptScore W2990523208C77088390 @default.
- W2990523208 hasConceptScore W2990523208C80444323 @default.
- W2990523208 hasConceptScore W2990523208C81440476 @default.
- W2990523208 hasConceptScore W2990523208C86803240 @default.
- W2990523208 hasConceptScore W2990523208C87146676 @default.
- W2990523208 hasLocation W29905232081 @default.
- W2990523208 hasOpenAccess W2990523208 @default.
- W2990523208 hasPrimaryLocation W29905232081 @default.
- W2990523208 hasRelatedWork W1523001643 @default.
- W2990523208 hasRelatedWork W1530885903 @default.
- W2990523208 hasRelatedWork W1550995397 @default.
- W2990523208 hasRelatedWork W1986744812 @default.
- W2990523208 hasRelatedWork W2009643298 @default.
- W2990523208 hasRelatedWork W2068535784 @default.
- W2990523208 hasRelatedWork W2087744861 @default.
- W2990523208 hasRelatedWork W2096674496 @default.
- W2990523208 hasRelatedWork W2120702836 @default.
- W2990523208 hasRelatedWork W2128343678 @default.
- W2990523208 hasRelatedWork W2181495543 @default.
- W2990523208 hasRelatedWork W2251285095 @default.
- W2990523208 hasRelatedWork W2369350448 @default.
- W2990523208 hasRelatedWork W2373963109 @default.
- W2990523208 hasRelatedWork W2387383427 @default.
- W2990523208 hasRelatedWork W2388183131 @default.
- W2990523208 hasRelatedWork W2891380469 @default.
- W2990523208 hasRelatedWork W3022135461 @default.
- W2990523208 hasRelatedWork W3111602972 @default.
- W2990523208 hasRelatedWork W1864336192 @default.
- W2990523208 isParatext "false" @default.
- W2990523208 isRetracted "false" @default.
- W2990523208 magId "2990523208" @default.
- W2990523208 workType "article" @default.