Matches in SemOpenAlex for { <https://semopenalex.org/work/W184413546> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W184413546 endingPage "625" @default.
- W184413546 startingPage "612" @default.
- W184413546 abstract "Testing is one of the most well-established techniques for the verification and validation of systems. Since success or failure verdicts are emitted with respect to the test case execution results, proper test case selection activities need to be performed. In this paper, we propose an approach to address the problem of generating symbolic test cases to test whether an implementation conforms to its specification, given in terms of reactive systems. This approach is based on a unified symbolic semantic model which can unify data operation and abstract behavior. We adapt the sioco conformance relation to deal with this symbolic model, and then describe a test case generation process, as well as a symbolic execution algorithm based on on-the-fly strategy. The approach has been illustrated on a simple example while the soundness and completeness of the symbolic notions is demonstrated." @default.
- W184413546 created "2016-06-24" @default.
- W184413546 creator A5050563666 @default.
- W184413546 creator A5060589181 @default.
- W184413546 creator A5066335229 @default.
- W184413546 date "2012-01-01" @default.
- W184413546 modified "2023-09-26" @default.
- W184413546 title "A Formal Method for Testing Reactive System from Symbolic Model" @default.
- W184413546 cites W120333500 @default.
- W184413546 cites W1484700963 @default.
- W184413546 cites W1506375872 @default.
- W184413546 cites W1679488881 @default.
- W184413546 cites W1766479663 @default.
- W184413546 cites W1945254896 @default.
- W184413546 cites W2013254626 @default.
- W184413546 cites W2060993374 @default.
- W184413546 cites W2117893191 @default.
- W184413546 cites W2123023940 @default.
- W184413546 cites W2126818664 @default.
- W184413546 cites W2140242483 @default.
- W184413546 cites W2149561987 @default.
- W184413546 cites W2160248259 @default.
- W184413546 cites W2166659009 @default.
- W184413546 doi "https://doi.org/10.1007/978-3-642-33478-8_76" @default.
- W184413546 hasPublicationYear "2012" @default.
- W184413546 type Work @default.
- W184413546 sameAs 184413546 @default.
- W184413546 citedByCount "0" @default.
- W184413546 crossrefType "book-chapter" @default.
- W184413546 hasAuthorship W184413546A5050563666 @default.
- W184413546 hasAuthorship W184413546A5060589181 @default.
- W184413546 hasAuthorship W184413546A5066335229 @default.
- W184413546 hasConcept C110251889 @default.
- W184413546 hasConcept C11219265 @default.
- W184413546 hasConcept C119857082 @default.
- W184413546 hasConcept C124101348 @default.
- W184413546 hasConcept C128942645 @default.
- W184413546 hasConcept C134306372 @default.
- W184413546 hasConcept C152877465 @default.
- W184413546 hasConcept C17231256 @default.
- W184413546 hasConcept C199360897 @default.
- W184413546 hasConcept C23123167 @default.
- W184413546 hasConcept C25343380 @default.
- W184413546 hasConcept C2777904410 @default.
- W184413546 hasConcept C2779639559 @default.
- W184413546 hasConcept C33923547 @default.
- W184413546 hasConcept C39920170 @default.
- W184413546 hasConcept C41008148 @default.
- W184413546 hasConcept C80444323 @default.
- W184413546 hasConceptScore W184413546C110251889 @default.
- W184413546 hasConceptScore W184413546C11219265 @default.
- W184413546 hasConceptScore W184413546C119857082 @default.
- W184413546 hasConceptScore W184413546C124101348 @default.
- W184413546 hasConceptScore W184413546C128942645 @default.
- W184413546 hasConceptScore W184413546C134306372 @default.
- W184413546 hasConceptScore W184413546C152877465 @default.
- W184413546 hasConceptScore W184413546C17231256 @default.
- W184413546 hasConceptScore W184413546C199360897 @default.
- W184413546 hasConceptScore W184413546C23123167 @default.
- W184413546 hasConceptScore W184413546C25343380 @default.
- W184413546 hasConceptScore W184413546C2777904410 @default.
- W184413546 hasConceptScore W184413546C2779639559 @default.
- W184413546 hasConceptScore W184413546C33923547 @default.
- W184413546 hasConceptScore W184413546C39920170 @default.
- W184413546 hasConceptScore W184413546C41008148 @default.
- W184413546 hasConceptScore W184413546C80444323 @default.
- W184413546 hasLocation W1844135461 @default.
- W184413546 hasOpenAccess W184413546 @default.
- W184413546 hasPrimaryLocation W1844135461 @default.
- W184413546 hasRelatedWork W1552900908 @default.
- W184413546 hasRelatedWork W1573918680 @default.
- W184413546 hasRelatedWork W184413546 @default.
- W184413546 hasRelatedWork W1977417404 @default.
- W184413546 hasRelatedWork W2047694629 @default.
- W184413546 hasRelatedWork W2141498181 @default.
- W184413546 hasRelatedWork W2339080697 @default.
- W184413546 hasRelatedWork W3033206483 @default.
- W184413546 hasRelatedWork W3039319427 @default.
- W184413546 hasRelatedWork W4376123179 @default.
- W184413546 isParatext "false" @default.
- W184413546 isRetracted "false" @default.
- W184413546 magId "184413546" @default.
- W184413546 workType "book-chapter" @default.