Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017249296> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2017249296 endingPage "330" @default.
- W2017249296 startingPage "323" @default.
- W2017249296 abstract "The use of Petri nets to model the register transfers and change of control states in a sequential machine described in a Computer Hardware Design Language (CHDL) with the aim of guiding state space searches is proposed. Each fault to be detected defines a set of goal nodes for the state space search. These goal nodes together with a CHDL description of the circuit are used to generate a Petri Net (PN). Two guidance mechanisms are derived from the PN: heuristic cost value and input vector guidance. For each machine state encountered during the state space search, a heuristic cost value is computed using a state vector derived from the PN. The PN also contains information about input vectors that are associated with each control state. The most important of these are selected based on an established criteria. The heuristic cost value and input vectors are used to guide test generation searches. In three case studies, the method provides results superior to those previously reported both in guidance accuracy and computational requirements." @default.
- W2017249296 created "2016-06-24" @default.
- W2017249296 creator A5009766887 @default.
- W2017249296 creator A5031622402 @default.
- W2017249296 date "1983-06-27" @default.
- W2017249296 modified "2023-09-23" @default.
- W2017249296 title "Petri Net Based Search Directing Heuristics for Test Generation" @default.
- W2017249296 cites W1981248732 @default.
- W2017249296 cites W1988380797 @default.
- W2017249296 cites W1997317373 @default.
- W2017249296 cites W2004194974 @default.
- W2017249296 cites W2022286645 @default.
- W2017249296 cites W2025642196 @default.
- W2017249296 cites W2027638490 @default.
- W2017249296 cites W2072647403 @default.
- W2017249296 cites W2111994103 @default.
- W2017249296 cites W2137687267 @default.
- W2017249296 cites W2160645305 @default.
- W2017249296 cites W2970602642 @default.
- W2017249296 cites W3021528157 @default.
- W2017249296 doi "https://doi.org/10.5555/800032.800684" @default.
- W2017249296 hasPublicationYear "1983" @default.
- W2017249296 type Work @default.
- W2017249296 sameAs 2017249296 @default.
- W2017249296 citedByCount "0" @default.
- W2017249296 crossrefType "proceedings-article" @default.
- W2017249296 hasAuthorship W2017249296A5009766887 @default.
- W2017249296 hasAuthorship W2017249296A5031622402 @default.
- W2017249296 hasConcept C105795698 @default.
- W2017249296 hasConcept C111919701 @default.
- W2017249296 hasConcept C11413529 @default.
- W2017249296 hasConcept C125583679 @default.
- W2017249296 hasConcept C127705205 @default.
- W2017249296 hasConcept C139979381 @default.
- W2017249296 hasConcept C154945302 @default.
- W2017249296 hasConcept C167822520 @default.
- W2017249296 hasConcept C173801870 @default.
- W2017249296 hasConcept C177264268 @default.
- W2017249296 hasConcept C197551870 @default.
- W2017249296 hasConcept C19889080 @default.
- W2017249296 hasConcept C199360897 @default.
- W2017249296 hasConcept C33923547 @default.
- W2017249296 hasConcept C38677869 @default.
- W2017249296 hasConcept C41008148 @default.
- W2017249296 hasConcept C48103436 @default.
- W2017249296 hasConcept C72434380 @default.
- W2017249296 hasConcept C80444323 @default.
- W2017249296 hasConceptScore W2017249296C105795698 @default.
- W2017249296 hasConceptScore W2017249296C111919701 @default.
- W2017249296 hasConceptScore W2017249296C11413529 @default.
- W2017249296 hasConceptScore W2017249296C125583679 @default.
- W2017249296 hasConceptScore W2017249296C127705205 @default.
- W2017249296 hasConceptScore W2017249296C139979381 @default.
- W2017249296 hasConceptScore W2017249296C154945302 @default.
- W2017249296 hasConceptScore W2017249296C167822520 @default.
- W2017249296 hasConceptScore W2017249296C173801870 @default.
- W2017249296 hasConceptScore W2017249296C177264268 @default.
- W2017249296 hasConceptScore W2017249296C197551870 @default.
- W2017249296 hasConceptScore W2017249296C19889080 @default.
- W2017249296 hasConceptScore W2017249296C199360897 @default.
- W2017249296 hasConceptScore W2017249296C33923547 @default.
- W2017249296 hasConceptScore W2017249296C38677869 @default.
- W2017249296 hasConceptScore W2017249296C41008148 @default.
- W2017249296 hasConceptScore W2017249296C48103436 @default.
- W2017249296 hasConceptScore W2017249296C72434380 @default.
- W2017249296 hasConceptScore W2017249296C80444323 @default.
- W2017249296 hasLocation W20172492961 @default.
- W2017249296 hasOpenAccess W2017249296 @default.
- W2017249296 hasPrimaryLocation W20172492961 @default.
- W2017249296 hasRelatedWork W1583437159 @default.
- W2017249296 hasRelatedWork W1664338904 @default.
- W2017249296 hasRelatedWork W1921373761 @default.
- W2017249296 hasRelatedWork W1931050319 @default.
- W2017249296 hasRelatedWork W1981248732 @default.
- W2017249296 hasRelatedWork W1995283608 @default.
- W2017249296 hasRelatedWork W2027638490 @default.
- W2017249296 hasRelatedWork W2077222678 @default.
- W2017249296 hasRelatedWork W2082001401 @default.
- W2017249296 hasRelatedWork W2099295942 @default.
- W2017249296 hasRelatedWork W2112226435 @default.
- W2017249296 hasRelatedWork W2125143388 @default.
- W2017249296 hasRelatedWork W2128855500 @default.
- W2017249296 hasRelatedWork W2139230373 @default.
- W2017249296 hasRelatedWork W2154258988 @default.
- W2017249296 hasRelatedWork W2161437770 @default.
- W2017249296 hasRelatedWork W2162822316 @default.
- W2017249296 hasRelatedWork W2537486729 @default.
- W2017249296 hasRelatedWork W2130871239 @default.
- W2017249296 hasRelatedWork W2157218618 @default.
- W2017249296 isParatext "false" @default.
- W2017249296 isRetracted "false" @default.
- W2017249296 magId "2017249296" @default.
- W2017249296 workType "article" @default.