Matches in SemOpenAlex for { <https://semopenalex.org/work/W2972168654> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2972168654 abstract "In this thesis, we present techniques for more efficient learning and analysis of system behavior. The first part covers novel algorithms and tooling for testing systems based on active automata learning and Linear-time Temporal Logic (LTL) model checking, also called Learning-Based Testing (LBT). Next, we provide an improved learning algorithm that is able to deal with huge alphabets. These are commonly seen in large-scale industrial systems where input symbols contain data parameters. In the second part we discuss improvements for analyzing formal system specifications. We start out by looking at separated read, write and copy dependencies for symbolic model checking to speed up the verification of these specifications. Then, we show that bandwidth reduction techniques, originally designed for sparse matrix solvers, are very capable at reducing the memory footprint of the specifications' symbolic state space. Implementations of the presented algorithms are subjected to case studies and rigorous experimentation with scientific software competitions." @default.
- W2972168654 created "2019-09-12" @default.
- W2972168654 creator A5052045186 @default.
- W2972168654 date "2019-08-14" @default.
- W2972168654 modified "2023-09-24" @default.
- W2972168654 title "Efficient learning and analysis of system behavior" @default.
- W2972168654 doi "https://doi.org/10.3990/1.9789036548441" @default.
- W2972168654 hasPublicationYear "2019" @default.
- W2972168654 type Work @default.
- W2972168654 sameAs 2972168654 @default.
- W2972168654 citedByCount "1" @default.
- W2972168654 countsByYear W29721686542021 @default.
- W2972168654 crossrefType "dissertation" @default.
- W2972168654 hasAuthorship W2972168654A5052045186 @default.
- W2972168654 hasBestOaLocation W29721686541 @default.
- W2972168654 hasConcept C110251889 @default.
- W2972168654 hasConcept C111335779 @default.
- W2972168654 hasConcept C112505250 @default.
- W2972168654 hasConcept C119857082 @default.
- W2972168654 hasConcept C154945302 @default.
- W2972168654 hasConcept C199360897 @default.
- W2972168654 hasConcept C2524010 @default.
- W2972168654 hasConcept C26713055 @default.
- W2972168654 hasConcept C2777904410 @default.
- W2972168654 hasConcept C33923547 @default.
- W2972168654 hasConcept C41008148 @default.
- W2972168654 hasConcept C74912251 @default.
- W2972168654 hasConcept C80444323 @default.
- W2972168654 hasConceptScore W2972168654C110251889 @default.
- W2972168654 hasConceptScore W2972168654C111335779 @default.
- W2972168654 hasConceptScore W2972168654C112505250 @default.
- W2972168654 hasConceptScore W2972168654C119857082 @default.
- W2972168654 hasConceptScore W2972168654C154945302 @default.
- W2972168654 hasConceptScore W2972168654C199360897 @default.
- W2972168654 hasConceptScore W2972168654C2524010 @default.
- W2972168654 hasConceptScore W2972168654C26713055 @default.
- W2972168654 hasConceptScore W2972168654C2777904410 @default.
- W2972168654 hasConceptScore W2972168654C33923547 @default.
- W2972168654 hasConceptScore W2972168654C41008148 @default.
- W2972168654 hasConceptScore W2972168654C74912251 @default.
- W2972168654 hasConceptScore W2972168654C80444323 @default.
- W2972168654 hasLocation W29721686541 @default.
- W2972168654 hasOpenAccess W2972168654 @default.
- W2972168654 hasPrimaryLocation W29721686541 @default.
- W2972168654 hasRelatedWork W149731632 @default.
- W2972168654 hasRelatedWork W1584616449 @default.
- W2972168654 hasRelatedWork W1696799466 @default.
- W2972168654 hasRelatedWork W1791611415 @default.
- W2972168654 hasRelatedWork W2000953224 @default.
- W2972168654 hasRelatedWork W2084018535 @default.
- W2972168654 hasRelatedWork W2133497081 @default.
- W2972168654 hasRelatedWork W2140789459 @default.
- W2972168654 hasRelatedWork W2253447482 @default.
- W2972168654 hasRelatedWork W2501678966 @default.
- W2972168654 hasRelatedWork W2532625469 @default.
- W2972168654 hasRelatedWork W2536320597 @default.
- W2972168654 hasRelatedWork W2559833958 @default.
- W2972168654 hasRelatedWork W2782813868 @default.
- W2972168654 hasRelatedWork W2794662040 @default.
- W2972168654 hasRelatedWork W3022528433 @default.
- W2972168654 hasRelatedWork W3126262779 @default.
- W2972168654 hasRelatedWork W3165394903 @default.
- W2972168654 hasRelatedWork W3186214742 @default.
- W2972168654 hasRelatedWork W828139470 @default.
- W2972168654 isParatext "false" @default.
- W2972168654 isRetracted "false" @default.
- W2972168654 magId "2972168654" @default.
- W2972168654 workType "dissertation" @default.