Matches in SemOpenAlex for { <https://semopenalex.org/work/W2613302066> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2613302066 endingPage "182" @default.
- W2613302066 startingPage "161" @default.
- W2613302066 abstract "Model-based test generation is widely spread in functional verification of hardware designs. The extended finite state machine (EFSM) is known to be a powerful formalism for modelling digital hardware. As opposed to conventional finite state machines, EFSM models separate datapath and control, which makes it possible to represent systems in a more compact way and, in a sense, reduces the risk of state explosion during verification. In this paper, a new EFSM-based test generation approach is proposed and compared with the existing solutions. It combines random walk on a state graph and directed search of feasible paths. The first phase allows covering “easy-to-fire” transitions. The second one is aimed at “hard-to-fire” cases; the algorithm tries to build a path that enables a given transition; it is carried out by analyzing control and data dependencies and applying symbolic execution techniques. Experiments show that the suggested approach provides better transition coverage with shorter test sequences comparing to the known methods and achieves a high level of code coverage." @default.
- W2613302066 created "2017-05-19" @default.
- W2613302066 creator A5033967187 @default.
- W2613302066 creator A5036419159 @default.
- W2613302066 creator A5052354481 @default.
- W2613302066 date "2015-01-01" @default.
- W2613302066 modified "2023-09-27" @default.
- W2613302066 title "An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs" @default.
- W2613302066 cites W1602612484 @default.
- W2613302066 cites W2060461359 @default.
- W2613302066 cites W2103953153 @default.
- W2613302066 cites W2169528473 @default.
- W2613302066 cites W2535299850 @default.
- W2613302066 cites W50425944 @default.
- W2613302066 doi "https://doi.org/10.15514/ispras-2015-27(3)-12" @default.
- W2613302066 hasPublicationYear "2015" @default.
- W2613302066 type Work @default.
- W2613302066 sameAs 2613302066 @default.
- W2613302066 citedByCount "3" @default.
- W2613302066 countsByYear W26133020662016 @default.
- W2613302066 crossrefType "journal-article" @default.
- W2613302066 hasAuthorship W2613302066A5033967187 @default.
- W2613302066 hasAuthorship W2613302066A5036419159 @default.
- W2613302066 hasAuthorship W2613302066A5052354481 @default.
- W2613302066 hasBestOaLocation W26133020661 @default.
- W2613302066 hasConcept C11413529 @default.
- W2613302066 hasConcept C132525143 @default.
- W2613302066 hasConcept C142362112 @default.
- W2613302066 hasConcept C153349607 @default.
- W2613302066 hasConcept C167822520 @default.
- W2613302066 hasConcept C173608175 @default.
- W2613302066 hasConcept C181062253 @default.
- W2613302066 hasConcept C199360897 @default.
- W2613302066 hasConcept C2777904410 @default.
- W2613302066 hasConcept C2779639559 @default.
- W2613302066 hasConcept C2781198647 @default.
- W2613302066 hasConcept C41008148 @default.
- W2613302066 hasConcept C48103436 @default.
- W2613302066 hasConcept C53942775 @default.
- W2613302066 hasConcept C558565934 @default.
- W2613302066 hasConcept C73301696 @default.
- W2613302066 hasConcept C80444323 @default.
- W2613302066 hasConceptScore W2613302066C11413529 @default.
- W2613302066 hasConceptScore W2613302066C132525143 @default.
- W2613302066 hasConceptScore W2613302066C142362112 @default.
- W2613302066 hasConceptScore W2613302066C153349607 @default.
- W2613302066 hasConceptScore W2613302066C167822520 @default.
- W2613302066 hasConceptScore W2613302066C173608175 @default.
- W2613302066 hasConceptScore W2613302066C181062253 @default.
- W2613302066 hasConceptScore W2613302066C199360897 @default.
- W2613302066 hasConceptScore W2613302066C2777904410 @default.
- W2613302066 hasConceptScore W2613302066C2779639559 @default.
- W2613302066 hasConceptScore W2613302066C2781198647 @default.
- W2613302066 hasConceptScore W2613302066C41008148 @default.
- W2613302066 hasConceptScore W2613302066C48103436 @default.
- W2613302066 hasConceptScore W2613302066C53942775 @default.
- W2613302066 hasConceptScore W2613302066C558565934 @default.
- W2613302066 hasConceptScore W2613302066C73301696 @default.
- W2613302066 hasConceptScore W2613302066C80444323 @default.
- W2613302066 hasIssue "3" @default.
- W2613302066 hasLocation W26133020661 @default.
- W2613302066 hasOpenAccess W2613302066 @default.
- W2613302066 hasPrimaryLocation W26133020661 @default.
- W2613302066 hasRelatedWork W157156687 @default.
- W2613302066 hasRelatedWork W193159740 @default.
- W2613302066 hasRelatedWork W19720440 @default.
- W2613302066 hasRelatedWork W2112170293 @default.
- W2613302066 hasRelatedWork W2380188680 @default.
- W2613302066 hasRelatedWork W2488460843 @default.
- W2613302066 hasRelatedWork W2502926186 @default.
- W2613302066 hasRelatedWork W2544520265 @default.
- W2613302066 hasRelatedWork W3087756144 @default.
- W2613302066 hasRelatedWork W78569989 @default.
- W2613302066 isParatext "false" @default.
- W2613302066 isRetracted "false" @default.
- W2613302066 magId "2613302066" @default.
- W2613302066 workType "article" @default.