Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241644832> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4241644832 endingPage "199" @default.
- W4241644832 startingPage "159" @default.
- W4241644832 abstract "State-based models are valuable for a range of software development tasks. They help the developer to understand how the system works. They formally document the system behaviour. Most importantly, a range of powerful, automated model-based testing techniques can be used to rigorously test im-plementations against their state-based specifications. Numerous automated model-based testing frameworks have been developed that are tailored to suit a range of development paradigms and domain-specific software systems such as telecoms systems [10] or network protocols [3]." @default.
- W4241644832 created "2022-05-12" @default.
- W4241644832 creator A5010416565 @default.
- W4241644832 creator A5028417315 @default.
- W4241644832 creator A5061044883 @default.
- W4241644832 creator A5066501364 @default.
- W4241644832 date "2011-05-24" @default.
- W4241644832 modified "2023-09-29" @default.
- W4241644832 title "Static Specification Mining Using Automata-Based Abstractions" @default.
- W4241644832 cites W1500987966 @default.
- W4241644832 cites W1969005071 @default.
- W4241644832 cites W1971327145 @default.
- W4241644832 cites W2004865374 @default.
- W4241644832 cites W2025677988 @default.
- W4241644832 cites W2073264387 @default.
- W4241644832 cites W2074001172 @default.
- W4241644832 cites W2080573945 @default.
- W4241644832 cites W2116685080 @default.
- W4241644832 cites W2119467398 @default.
- W4241644832 cites W2124666592 @default.
- W4241644832 cites W2134311998 @default.
- W4241644832 cites W2149901829 @default.
- W4241644832 cites W2152878141 @default.
- W4241644832 cites W2156841542 @default.
- W4241644832 cites W2165594507 @default.
- W4241644832 cites W2295399529 @default.
- W4241644832 cites W2295622790 @default.
- W4241644832 cites W3106729728 @default.
- W4241644832 cites W4231709874 @default.
- W4241644832 cites W4254642654 @default.
- W4241644832 doi "https://doi.org/10.1201/b10928-7" @default.
- W4241644832 hasPublicationYear "2011" @default.
- W4241644832 type Work @default.
- W4241644832 citedByCount "0" @default.
- W4241644832 crossrefType "book-chapter" @default.
- W4241644832 hasAuthorship W4241644832A5010416565 @default.
- W4241644832 hasAuthorship W4241644832A5028417315 @default.
- W4241644832 hasAuthorship W4241644832A5061044883 @default.
- W4241644832 hasAuthorship W4241644832A5066501364 @default.
- W4241644832 hasBestOaLocation W42416448322 @default.
- W4241644832 hasConcept C112505250 @default.
- W4241644832 hasConcept C199360897 @default.
- W4241644832 hasConcept C41008148 @default.
- W4241644832 hasConcept C80444323 @default.
- W4241644832 hasConceptScore W4241644832C112505250 @default.
- W4241644832 hasConceptScore W4241644832C199360897 @default.
- W4241644832 hasConceptScore W4241644832C41008148 @default.
- W4241644832 hasConceptScore W4241644832C80444323 @default.
- W4241644832 hasLocation W42416448321 @default.
- W4241644832 hasLocation W42416448322 @default.
- W4241644832 hasOpenAccess W4241644832 @default.
- W4241644832 hasPrimaryLocation W42416448321 @default.
- W4241644832 hasRelatedWork W1131298 @default.
- W4241644832 hasRelatedWork W12265710 @default.
- W4241644832 hasRelatedWork W14027142 @default.
- W4241644832 hasRelatedWork W16838833 @default.
- W4241644832 hasRelatedWork W17764271 @default.
- W4241644832 hasRelatedWork W2517132 @default.
- W4241644832 hasRelatedWork W3143201 @default.
- W4241644832 hasRelatedWork W4057178 @default.
- W4241644832 hasRelatedWork W6269798 @default.
- W4241644832 hasRelatedWork W1538262 @default.
- W4241644832 isParatext "false" @default.
- W4241644832 isRetracted "false" @default.
- W4241644832 workType "book-chapter" @default.