Matches in SemOpenAlex for { <https://semopenalex.org/work/W21844965> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W21844965 endingPage "44" @default.
- W21844965 startingPage "29" @default.
- W21844965 abstract "Some application domains, including monitoring of active systems in artificial intelligence and model-based mutation testing in software engineering, require determinization of finite automata to be performed incrementally. To this end, an algorithm called Incremental Subset Construction (ISC) was proposed a few years ago. However, this algorithm was recently discovered to be incorrect is some instance problems. The incorrect behavior of ISC originates when the redirection of a transition causes a portion of the automaton to be disconnected from the initial state. This misbehavior is disturbing in two ways: portions of the resulting automaton are disconnected and, as such, useless; moreover, a considerable amount of computation is possibly wasted for processing these disconnected parts. To make ISC sound, a metrics-based technique is proposed in this paper, where the distance between states is exploited in order to guarantee the connection of the automaton, thereby allowing ISC to achieve soundness. Experimental results show that, besides being effective, the proposed technique is efficient too." @default.
- W21844965 created "2016-06-24" @default.
- W21844965 creator A5025107216 @default.
- W21844965 creator A5032109728 @default.
- W21844965 creator A5088673930 @default.
- W21844965 date "2014-01-01" @default.
- W21844965 modified "2023-10-16" @default.
- W21844965 title "Metrics-Based Incremental Determinization of Finite Automata" @default.
- W21844965 cites W105846125 @default.
- W21844965 cites W1517151802 @default.
- W21844965 cites W1562403364 @default.
- W21844965 cites W192320951 @default.
- W21844965 cites W2025970201 @default.
- W21844965 cites W2054283290 @default.
- W21844965 cites W2054801208 @default.
- W21844965 cites W2072071365 @default.
- W21844965 cites W2137488486 @default.
- W21844965 cites W2148595971 @default.
- W21844965 cites W4213149192 @default.
- W21844965 cites W4297744580 @default.
- W21844965 cites W2004266200 @default.
- W21844965 doi "https://doi.org/10.1007/978-3-319-10975-6_3" @default.
- W21844965 hasPublicationYear "2014" @default.
- W21844965 type Work @default.
- W21844965 sameAs 21844965 @default.
- W21844965 citedByCount "2" @default.
- W21844965 countsByYear W218449652016 @default.
- W21844965 countsByYear W218449652017 @default.
- W21844965 crossrefType "book-chapter" @default.
- W21844965 hasAuthorship W21844965A5025107216 @default.
- W21844965 hasAuthorship W21844965A5032109728 @default.
- W21844965 hasAuthorship W21844965A5088673930 @default.
- W21844965 hasBestOaLocation W218449651 @default.
- W21844965 hasConcept C112505250 @default.
- W21844965 hasConcept C11413529 @default.
- W21844965 hasConcept C167822520 @default.
- W21844965 hasConcept C199360897 @default.
- W21844965 hasConcept C2777904410 @default.
- W21844965 hasConcept C39920170 @default.
- W21844965 hasConcept C41008148 @default.
- W21844965 hasConcept C45374587 @default.
- W21844965 hasConcept C48103436 @default.
- W21844965 hasConcept C80444323 @default.
- W21844965 hasConceptScore W21844965C112505250 @default.
- W21844965 hasConceptScore W21844965C11413529 @default.
- W21844965 hasConceptScore W21844965C167822520 @default.
- W21844965 hasConceptScore W21844965C199360897 @default.
- W21844965 hasConceptScore W21844965C2777904410 @default.
- W21844965 hasConceptScore W21844965C39920170 @default.
- W21844965 hasConceptScore W21844965C41008148 @default.
- W21844965 hasConceptScore W21844965C45374587 @default.
- W21844965 hasConceptScore W21844965C48103436 @default.
- W21844965 hasConceptScore W21844965C80444323 @default.
- W21844965 hasLocation W218449651 @default.
- W21844965 hasLocation W218449652 @default.
- W21844965 hasLocation W218449653 @default.
- W21844965 hasLocation W218449654 @default.
- W21844965 hasLocation W218449655 @default.
- W21844965 hasOpenAccess W21844965 @default.
- W21844965 hasPrimaryLocation W218449651 @default.
- W21844965 hasRelatedWork W1490980615 @default.
- W21844965 hasRelatedWork W1519853953 @default.
- W21844965 hasRelatedWork W1552185717 @default.
- W21844965 hasRelatedWork W2050696740 @default.
- W21844965 hasRelatedWork W2059157438 @default.
- W21844965 hasRelatedWork W2170837225 @default.
- W21844965 hasRelatedWork W2290376746 @default.
- W21844965 hasRelatedWork W4213113597 @default.
- W21844965 hasRelatedWork W2611282822 @default.
- W21844965 hasRelatedWork W2787289564 @default.
- W21844965 isParatext "false" @default.
- W21844965 isRetracted "false" @default.
- W21844965 magId "21844965" @default.
- W21844965 workType "book-chapter" @default.