Matches in SemOpenAlex for { <https://semopenalex.org/work/W3140545319> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3140545319 abstract "This chapter is a tutorial that teaches you how to design extended finite state machine (EFSM) test models for a system that you want to test. EFSM models are more powerful and expressive than simple finite state machine (FSM) models, and are one of the most commonly used styles of models for model-based testing, especially for embedded systems. There are many languages and notations in use for writing EFSM models, but in this tutorial we write our EFSM models in the familiar Java programming language. To generate tests from these EFSM models we use ModelJUnit, which is an open-source tool that supports several stochastic test generation algorithms, and we also show how to write your own model-based testing tool. We show how EFSM models can be used for unit testing and system testing of embedded systems, and for offline testing as well as online testing." @default.
- W3140545319 created "2021-04-13" @default.
- W3140545319 creator A5061718956 @default.
- W3140545319 date "2011-09-15" @default.
- W3140545319 modified "2023-09-25" @default.
- W3140545319 title "How to Design Extended Finite State Machine Test Models in Java" @default.
- W3140545319 cites W1522465028 @default.
- W3140545319 cites W2001609641 @default.
- W3140545319 cites W2004929506 @default.
- W3140545319 cites W2061819729 @default.
- W3140545319 cites W2074891852 @default.
- W3140545319 cites W2109354640 @default.
- W3140545319 doi "https://doi.org/10.1201/b11321-7" @default.
- W3140545319 hasPublicationYear "2011" @default.
- W3140545319 type Work @default.
- W3140545319 sameAs 3140545319 @default.
- W3140545319 citedByCount "2" @default.
- W3140545319 countsByYear W31405453192015 @default.
- W3140545319 countsByYear W31405453192021 @default.
- W3140545319 crossrefType "book-chapter" @default.
- W3140545319 hasAuthorship W3140545319A5061718956 @default.
- W3140545319 hasConcept C167822520 @default.
- W3140545319 hasConcept C181062253 @default.
- W3140545319 hasConcept C199360897 @default.
- W3140545319 hasConcept C33923547 @default.
- W3140545319 hasConcept C41008148 @default.
- W3140545319 hasConcept C45357846 @default.
- W3140545319 hasConcept C48103436 @default.
- W3140545319 hasConcept C548217200 @default.
- W3140545319 hasConcept C80444323 @default.
- W3140545319 hasConcept C94375191 @default.
- W3140545319 hasConceptScore W3140545319C167822520 @default.
- W3140545319 hasConceptScore W3140545319C181062253 @default.
- W3140545319 hasConceptScore W3140545319C199360897 @default.
- W3140545319 hasConceptScore W3140545319C33923547 @default.
- W3140545319 hasConceptScore W3140545319C41008148 @default.
- W3140545319 hasConceptScore W3140545319C45357846 @default.
- W3140545319 hasConceptScore W3140545319C48103436 @default.
- W3140545319 hasConceptScore W3140545319C548217200 @default.
- W3140545319 hasConceptScore W3140545319C80444323 @default.
- W3140545319 hasConceptScore W3140545319C94375191 @default.
- W3140545319 hasLocation W31405453191 @default.
- W3140545319 hasOpenAccess W3140545319 @default.
- W3140545319 hasPrimaryLocation W31405453191 @default.
- W3140545319 hasRelatedWork W112718097 @default.
- W3140545319 hasRelatedWork W116204029 @default.
- W3140545319 hasRelatedWork W1557270615 @default.
- W3140545319 hasRelatedWork W1570516119 @default.
- W3140545319 hasRelatedWork W2046695163 @default.
- W3140545319 hasRelatedWork W2052308207 @default.
- W3140545319 hasRelatedWork W2079991830 @default.
- W3140545319 hasRelatedWork W2133962430 @default.
- W3140545319 hasRelatedWork W2139448856 @default.
- W3140545319 hasRelatedWork W2154381518 @default.
- W3140545319 hasRelatedWork W2155479111 @default.
- W3140545319 hasRelatedWork W2156992042 @default.
- W3140545319 hasRelatedWork W2159267714 @default.
- W3140545319 hasRelatedWork W2160988969 @default.
- W3140545319 hasRelatedWork W2272330977 @default.
- W3140545319 hasRelatedWork W2341205195 @default.
- W3140545319 hasRelatedWork W2406797504 @default.
- W3140545319 hasRelatedWork W2971936046 @default.
- W3140545319 hasRelatedWork W3035711521 @default.
- W3140545319 hasRelatedWork W3036541782 @default.
- W3140545319 isParatext "false" @default.
- W3140545319 isRetracted "false" @default.
- W3140545319 magId "3140545319" @default.
- W3140545319 workType "book-chapter" @default.