Matches in SemOpenAlex for { <https://semopenalex.org/work/W140605890> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W140605890 abstract "Model programs [1] are a useful formalism for software testing and design analysis. They are used in industrial tools [2] as a compact, expressive and precise way to specify complex behavior. An important property of model programs is their ability to be unwound into transition systems. The transitions produced by the unwinding have label terms that denote the action performed and the input or output data relevant to that action. Transition systems of this kind can be used in model-based testing, for runtime conformance checking of a system under test, and for design validation [1,3–5]." @default.
- W140605890 created "2016-06-24" @default.
- W140605890 creator A5060114046 @default.
- W140605890 creator A5077606589 @default.
- W140605890 creator A5081551496 @default.
- W140605890 date "2007-01-01" @default.
- W140605890 modified "2023-09-26" @default.
- W140605890 title "Parallel and Serial Composition of Model Programs" @default.
- W140605890 cites W1498542756 @default.
- W140605890 cites W1821489642 @default.
- W140605890 cites W1853368733 @default.
- W140605890 cites W1969402593 @default.
- W140605890 cites W2000302396 @default.
- W140605890 cites W2002089154 @default.
- W140605890 cites W2004929506 @default.
- W140605890 cites W2098485764 @default.
- W140605890 cites W2098868862 @default.
- W140605890 cites W2145250263 @default.
- W140605890 cites W2145334549 @default.
- W140605890 cites W2110499812 @default.
- W140605890 hasPublicationYear "2007" @default.
- W140605890 type Work @default.
- W140605890 sameAs 140605890 @default.
- W140605890 citedByCount "0" @default.
- W140605890 crossrefType "journal-article" @default.
- W140605890 hasAuthorship W140605890A5060114046 @default.
- W140605890 hasAuthorship W140605890A5077606589 @default.
- W140605890 hasAuthorship W140605890A5081551496 @default.
- W140605890 hasConcept C110251889 @default.
- W140605890 hasConcept C142362112 @default.
- W140605890 hasConcept C153349607 @default.
- W140605890 hasConcept C199360897 @default.
- W140605890 hasConcept C2779167558 @default.
- W140605890 hasConcept C41008148 @default.
- W140605890 hasConcept C558565934 @default.
- W140605890 hasConcept C73301696 @default.
- W140605890 hasConcept C80444323 @default.
- W140605890 hasConceptScore W140605890C110251889 @default.
- W140605890 hasConceptScore W140605890C142362112 @default.
- W140605890 hasConceptScore W140605890C153349607 @default.
- W140605890 hasConceptScore W140605890C199360897 @default.
- W140605890 hasConceptScore W140605890C2779167558 @default.
- W140605890 hasConceptScore W140605890C41008148 @default.
- W140605890 hasConceptScore W140605890C558565934 @default.
- W140605890 hasConceptScore W140605890C73301696 @default.
- W140605890 hasConceptScore W140605890C80444323 @default.
- W140605890 hasLocation W1406058901 @default.
- W140605890 hasOpenAccess W140605890 @default.
- W140605890 hasPrimaryLocation W1406058901 @default.
- W140605890 hasRelatedWork W1504898327 @default.
- W140605890 hasRelatedWork W1517863689 @default.
- W140605890 hasRelatedWork W154888427 @default.
- W140605890 hasRelatedWork W1993243964 @default.
- W140605890 hasRelatedWork W2088771528 @default.
- W140605890 hasRelatedWork W2110804891 @default.
- W140605890 hasRelatedWork W2165287194 @default.
- W140605890 hasRelatedWork W2404301979 @default.
- W140605890 hasRelatedWork W2479404316 @default.
- W140605890 hasRelatedWork W2498714336 @default.
- W140605890 hasRelatedWork W265868621 @default.
- W140605890 hasRelatedWork W280155714 @default.
- W140605890 hasRelatedWork W2972251128 @default.
- W140605890 hasRelatedWork W3006017202 @default.
- W140605890 hasRelatedWork W3087756144 @default.
- W140605890 hasRelatedWork W1563359828 @default.
- W140605890 hasRelatedWork W2245681447 @default.
- W140605890 hasRelatedWork W2773635143 @default.
- W140605890 hasRelatedWork W2922728712 @default.
- W140605890 hasRelatedWork W2930095290 @default.
- W140605890 isParatext "false" @default.
- W140605890 isRetracted "false" @default.
- W140605890 magId "140605890" @default.
- W140605890 workType "article" @default.