Matches in SemOpenAlex for { <https://semopenalex.org/work/W1900631367> ?p ?o ?g. }
- W1900631367 abstract "During test case generation from an extended finite state machine (EFSM), the counter problem is caused by the presence of guard conditions that refer to counter variables. Because such variables are initialized and updated by transitions in the EFSM, every traversal of the state machine graph is not necessarily feasible, i.e., executable. The problem manifests itself by the fact that a transition, a sequence of transitions, or a more complex behavior in the state machine, has to be repeatedly triggered to eventually trigger a specific behavior (another transition). In this paper we define different manifestations of the counter problem and experiment with a new search based solution for that problem. We also investigate how the counter problem affects a multi-objective genetic algorithm that generates test suites from an EFSM. We evaluate our solution and compare it with an existing one, using three different case studies." @default.
- W1900631367 created "2016-06-24" @default.
- W1900631367 creator A5007057846 @default.
- W1900631367 creator A5065406579 @default.
- W1900631367 date "2015-08-01" @default.
- W1900631367 modified "2023-09-27" @default.
- W1900631367 title "On the Effect of Counters in Guard Conditions When State-Based Multi-objective Testing" @default.
- W1900631367 cites W1502140970 @default.
- W1900631367 cites W1544329015 @default.
- W1900631367 cites W1553373771 @default.
- W1900631367 cites W1588375755 @default.
- W1900631367 cites W1596127723 @default.
- W1900631367 cites W1639032689 @default.
- W1900631367 cites W1756881852 @default.
- W1900631367 cites W1905847227 @default.
- W1900631367 cites W1910771831 @default.
- W1900631367 cites W1925475221 @default.
- W1900631367 cites W1988675891 @default.
- W1900631367 cites W1993760289 @default.
- W1900631367 cites W2015826910 @default.
- W1900631367 cites W2025512130 @default.
- W1900631367 cites W2041027758 @default.
- W1900631367 cites W2041470132 @default.
- W1900631367 cites W2041694760 @default.
- W1900631367 cites W2056904432 @default.
- W1900631367 cites W2073125568 @default.
- W1900631367 cites W2092382400 @default.
- W1900631367 cites W2095974519 @default.
- W1900631367 cites W2097848795 @default.
- W1900631367 cites W2107729695 @default.
- W1900631367 cites W2113237484 @default.
- W1900631367 cites W2115479429 @default.
- W1900631367 cites W2122676216 @default.
- W1900631367 cites W2124300773 @default.
- W1900631367 cites W2126105956 @default.
- W1900631367 cites W2128705399 @default.
- W1900631367 cites W2134691366 @default.
- W1900631367 cites W2142266413 @default.
- W1900631367 cites W2143578569 @default.
- W1900631367 cites W2150040630 @default.
- W1900631367 cites W2152150600 @default.
- W1900631367 cites W2155479111 @default.
- W1900631367 cites W2163246860 @default.
- W1900631367 cites W2163659692 @default.
- W1900631367 cites W938539187 @default.
- W1900631367 doi "https://doi.org/10.1109/qrs-c.2015.26" @default.
- W1900631367 hasPublicationYear "2015" @default.
- W1900631367 type Work @default.
- W1900631367 sameAs 1900631367 @default.
- W1900631367 citedByCount "2" @default.
- W1900631367 countsByYear W19006313672018 @default.
- W1900631367 crossrefType "proceedings-article" @default.
- W1900631367 hasAuthorship W1900631367A5007057846 @default.
- W1900631367 hasAuthorship W1900631367A5065406579 @default.
- W1900631367 hasConcept C104091681 @default.
- W1900631367 hasConcept C112505250 @default.
- W1900631367 hasConcept C11413529 @default.
- W1900631367 hasConcept C132525143 @default.
- W1900631367 hasConcept C140745168 @default.
- W1900631367 hasConcept C141141315 @default.
- W1900631367 hasConcept C160145156 @default.
- W1900631367 hasConcept C167822520 @default.
- W1900631367 hasConcept C181062253 @default.
- W1900631367 hasConcept C199360897 @default.
- W1900631367 hasConcept C41008148 @default.
- W1900631367 hasConcept C48103436 @default.
- W1900631367 hasConcept C80444323 @default.
- W1900631367 hasConcept C96333769 @default.
- W1900631367 hasConceptScore W1900631367C104091681 @default.
- W1900631367 hasConceptScore W1900631367C112505250 @default.
- W1900631367 hasConceptScore W1900631367C11413529 @default.
- W1900631367 hasConceptScore W1900631367C132525143 @default.
- W1900631367 hasConceptScore W1900631367C140745168 @default.
- W1900631367 hasConceptScore W1900631367C141141315 @default.
- W1900631367 hasConceptScore W1900631367C160145156 @default.
- W1900631367 hasConceptScore W1900631367C167822520 @default.
- W1900631367 hasConceptScore W1900631367C181062253 @default.
- W1900631367 hasConceptScore W1900631367C199360897 @default.
- W1900631367 hasConceptScore W1900631367C41008148 @default.
- W1900631367 hasConceptScore W1900631367C48103436 @default.
- W1900631367 hasConceptScore W1900631367C80444323 @default.
- W1900631367 hasConceptScore W1900631367C96333769 @default.
- W1900631367 hasLocation W19006313671 @default.
- W1900631367 hasOpenAccess W1900631367 @default.
- W1900631367 hasPrimaryLocation W19006313671 @default.
- W1900631367 hasRelatedWork W1482682731 @default.
- W1900631367 hasRelatedWork W1504898327 @default.
- W1900631367 hasRelatedWork W1525251141 @default.
- W1900631367 hasRelatedWork W1896875759 @default.
- W1900631367 hasRelatedWork W1963679202 @default.
- W1900631367 hasRelatedWork W1976192759 @default.
- W1900631367 hasRelatedWork W1993243964 @default.
- W1900631367 hasRelatedWork W1996501408 @default.
- W1900631367 hasRelatedWork W2033083499 @default.
- W1900631367 hasRelatedWork W2089391904 @default.
- W1900631367 hasRelatedWork W2108082292 @default.
- W1900631367 hasRelatedWork W2126243972 @default.
- W1900631367 hasRelatedWork W2134650966 @default.
- W1900631367 hasRelatedWork W2166673587 @default.
- W1900631367 hasRelatedWork W2260722736 @default.