Matches in SemOpenAlex for { <https://semopenalex.org/work/W2352263148> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2352263148 abstract "We present an abstract framework for sequence testing that is implemented in Isabelle/HOL-TestGen. Our framework is based on the theory of state-exception monads, explicitly modelled in HOL, and can cope with typed input and output, interleaving executions including abort, and synchronisation." @default.
- W2352263148 created "2016-06-24" @default.
- W2352263148 creator A5001790193 @default.
- W2352263148 creator A5016746101 @default.
- W2352263148 date "2016-01-01" @default.
- W2352263148 modified "2023-09-25" @default.
- W2352263148 title "Monadic Sequence Testing and Explicit Test-Refinements" @default.
- W2352263148 cites W1504620614 @default.
- W2352263148 cites W1522465028 @default.
- W2352263148 cites W1528783527 @default.
- W2352263148 cites W185714012 @default.
- W2352263148 cites W1960269429 @default.
- W2352263148 cites W1996404651 @default.
- W2352263148 cites W2060993374 @default.
- W2352263148 cites W2075773711 @default.
- W2352263148 cites W2097848795 @default.
- W2352263148 cites W2097883343 @default.
- W2352263148 cites W2110117589 @default.
- W2352263148 cites W2112488900 @default.
- W2352263148 cites W2126818664 @default.
- W2352263148 cites W2127608336 @default.
- W2352263148 cites W2128475506 @default.
- W2352263148 cites W2149561987 @default.
- W2352263148 cites W2162815296 @default.
- W2352263148 cites W2227471340 @default.
- W2352263148 cites W2252753584 @default.
- W2352263148 cites W4214538532 @default.
- W2352263148 cites W4299731435 @default.
- W2352263148 doi "https://doi.org/10.1007/978-3-319-41135-4_2" @default.
- W2352263148 hasPublicationYear "2016" @default.
- W2352263148 type Work @default.
- W2352263148 sameAs 2352263148 @default.
- W2352263148 citedByCount "2" @default.
- W2352263148 countsByYear W23522631482017 @default.
- W2352263148 countsByYear W23522631482019 @default.
- W2352263148 crossrefType "book-chapter" @default.
- W2352263148 hasAuthorship W2352263148A5001790193 @default.
- W2352263148 hasAuthorship W2352263148A5016746101 @default.
- W2352263148 hasBestOaLocation W23522631483 @default.
- W2352263148 hasConcept C11413529 @default.
- W2352263148 hasConcept C151730666 @default.
- W2352263148 hasConcept C199360897 @default.
- W2352263148 hasConcept C2777267654 @default.
- W2352263148 hasConcept C2778112365 @default.
- W2352263148 hasConcept C41008148 @default.
- W2352263148 hasConcept C54355233 @default.
- W2352263148 hasConcept C86803240 @default.
- W2352263148 hasConceptScore W2352263148C11413529 @default.
- W2352263148 hasConceptScore W2352263148C151730666 @default.
- W2352263148 hasConceptScore W2352263148C199360897 @default.
- W2352263148 hasConceptScore W2352263148C2777267654 @default.
- W2352263148 hasConceptScore W2352263148C2778112365 @default.
- W2352263148 hasConceptScore W2352263148C41008148 @default.
- W2352263148 hasConceptScore W2352263148C54355233 @default.
- W2352263148 hasConceptScore W2352263148C86803240 @default.
- W2352263148 hasLocation W23522631481 @default.
- W2352263148 hasLocation W23522631482 @default.
- W2352263148 hasLocation W23522631483 @default.
- W2352263148 hasOpenAccess W2352263148 @default.
- W2352263148 hasPrimaryLocation W23522631481 @default.
- W2352263148 hasRelatedWork W1527862632 @default.
- W2352263148 hasRelatedWork W1652311832 @default.
- W2352263148 hasRelatedWork W2106047869 @default.
- W2352263148 hasRelatedWork W2109507516 @default.
- W2352263148 hasRelatedWork W2118300983 @default.
- W2352263148 hasRelatedWork W2135396778 @default.
- W2352263148 hasRelatedWork W2166247150 @default.
- W2352263148 hasRelatedWork W2462453872 @default.
- W2352263148 hasRelatedWork W4235530921 @default.
- W2352263148 hasRelatedWork W4243252198 @default.
- W2352263148 isParatext "false" @default.
- W2352263148 isRetracted "false" @default.
- W2352263148 magId "2352263148" @default.
- W2352263148 workType "book-chapter" @default.