Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163568657> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2163568657 abstract "We present in this paper a technique based on symbolic animation of models that aims at producing model-based tests. In order to guide the animation of the model, we rely on the use of a deterministic finite automaton (DFA) of the model that is built using a well-known machine learning algorithm, that considers a complex model as a black-box component, whose behavior is inferred. Since the DFA obtained in this way may be an over-approximation and, thus, admit traces that were not admitted on the original model, this abstraction is refined using counter-examples made of unfeasible traces. The computation of counter-examples is performed using a systematic coverage of the DFA states and transitions, producing test sequences that are replayed on the model, providing either test cases for offline testing, or counter-examples that aim at refining the abstraction." @default.
- W2163568657 created "2016-06-24" @default.
- W2163568657 creator A5039988959 @default.
- W2163568657 creator A5041596914 @default.
- W2163568657 creator A5081683705 @default.
- W2163568657 date "2010-04-01" @default.
- W2163568657 modified "2023-10-18" @default.
- W2163568657 title "Model-Based Testing Using Symbolic Animation and Machine Learning" @default.
- W2163568657 cites W1520252399 @default.
- W2163568657 cites W1529010373 @default.
- W2163568657 cites W1542358180 @default.
- W2163568657 cites W1548529454 @default.
- W2163568657 cites W1582439588 @default.
- W2163568657 cites W1591022969 @default.
- W2163568657 cites W1699340362 @default.
- W2163568657 cites W1858687778 @default.
- W2163568657 cites W1989445634 @default.
- W2163568657 cites W2001609641 @default.
- W2163568657 cites W2001985931 @default.
- W2163568657 cites W2011762419 @default.
- W2163568657 cites W2073863764 @default.
- W2163568657 cites W2076253536 @default.
- W2163568657 cites W2140606869 @default.
- W2163568657 cites W2143236904 @default.
- W2163568657 cites W2158395308 @default.
- W2163568657 cites W2160989498 @default.
- W2163568657 cites W2495746187 @default.
- W2163568657 cites W3185910042 @default.
- W2163568657 doi "https://doi.org/10.1109/icstw.2010.43" @default.
- W2163568657 hasPublicationYear "2010" @default.
- W2163568657 type Work @default.
- W2163568657 sameAs 2163568657 @default.
- W2163568657 citedByCount "1" @default.
- W2163568657 countsByYear W21635686572012 @default.
- W2163568657 crossrefType "proceedings-article" @default.
- W2163568657 hasAuthorship W2163568657A5039988959 @default.
- W2163568657 hasAuthorship W2163568657A5041596914 @default.
- W2163568657 hasAuthorship W2163568657A5081683705 @default.
- W2163568657 hasConcept C111472728 @default.
- W2163568657 hasConcept C112505250 @default.
- W2163568657 hasConcept C11413529 @default.
- W2163568657 hasConcept C119857082 @default.
- W2163568657 hasConcept C121332964 @default.
- W2163568657 hasConcept C121684516 @default.
- W2163568657 hasConcept C124304363 @default.
- W2163568657 hasConcept C138885662 @default.
- W2163568657 hasConcept C149091818 @default.
- W2163568657 hasConcept C154945302 @default.
- W2163568657 hasConcept C162443782 @default.
- W2163568657 hasConcept C167822520 @default.
- W2163568657 hasConcept C168167062 @default.
- W2163568657 hasConcept C186846655 @default.
- W2163568657 hasConcept C199360897 @default.
- W2163568657 hasConcept C2777904410 @default.
- W2163568657 hasConcept C41008148 @default.
- W2163568657 hasConcept C45374587 @default.
- W2163568657 hasConcept C502989409 @default.
- W2163568657 hasConcept C80444323 @default.
- W2163568657 hasConcept C94966114 @default.
- W2163568657 hasConcept C97355855 @default.
- W2163568657 hasConceptScore W2163568657C111472728 @default.
- W2163568657 hasConceptScore W2163568657C112505250 @default.
- W2163568657 hasConceptScore W2163568657C11413529 @default.
- W2163568657 hasConceptScore W2163568657C119857082 @default.
- W2163568657 hasConceptScore W2163568657C121332964 @default.
- W2163568657 hasConceptScore W2163568657C121684516 @default.
- W2163568657 hasConceptScore W2163568657C124304363 @default.
- W2163568657 hasConceptScore W2163568657C138885662 @default.
- W2163568657 hasConceptScore W2163568657C149091818 @default.
- W2163568657 hasConceptScore W2163568657C154945302 @default.
- W2163568657 hasConceptScore W2163568657C162443782 @default.
- W2163568657 hasConceptScore W2163568657C167822520 @default.
- W2163568657 hasConceptScore W2163568657C168167062 @default.
- W2163568657 hasConceptScore W2163568657C186846655 @default.
- W2163568657 hasConceptScore W2163568657C199360897 @default.
- W2163568657 hasConceptScore W2163568657C2777904410 @default.
- W2163568657 hasConceptScore W2163568657C41008148 @default.
- W2163568657 hasConceptScore W2163568657C45374587 @default.
- W2163568657 hasConceptScore W2163568657C502989409 @default.
- W2163568657 hasConceptScore W2163568657C80444323 @default.
- W2163568657 hasConceptScore W2163568657C94966114 @default.
- W2163568657 hasConceptScore W2163568657C97355855 @default.
- W2163568657 hasLocation W21635686571 @default.
- W2163568657 hasLocation W21635686572 @default.
- W2163568657 hasOpenAccess W2163568657 @default.
- W2163568657 hasPrimaryLocation W21635686571 @default.
- W2163568657 hasRelatedWork W1491251816 @default.
- W2163568657 hasRelatedWork W155534894 @default.
- W2163568657 hasRelatedWork W2059157438 @default.
- W2163568657 hasRelatedWork W2098373015 @default.
- W2163568657 hasRelatedWork W2163568657 @default.
- W2163568657 hasRelatedWork W2290336996 @default.
- W2163568657 hasRelatedWork W2884148430 @default.
- W2163568657 hasRelatedWork W2937242976 @default.
- W2163568657 hasRelatedWork W4213113597 @default.
- W2163568657 hasRelatedWork W646207002 @default.
- W2163568657 isParatext "false" @default.
- W2163568657 isRetracted "false" @default.
- W2163568657 magId "2163568657" @default.
- W2163568657 workType "article" @default.