Matches in SemOpenAlex for { <https://semopenalex.org/work/W150763028> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W150763028 endingPage "112" @default.
- W150763028 startingPage "97" @default.
- W150763028 abstract "One of the biggest challenges in hardware and software design is to ensure that a system is error-free. Small errors in reactive embedded systems can have disastrous and costly consequences for a project. Preventing such errors by identifying the most probable cases of erratic system behavior is quite challenging. In this paper, we introduce an automatic test set generator called AUTSEG. Its input is a generic model of the target system, generated using the synchronous approach. Our tool finds the optimal preconditions for restricting the state space of the model. It only works locally on significant subspaces. Our approach exhibits a simpler and efficient quasi-flattening algorithm than existing techniques and a useful compiled form to check security properties and reduce the combinatorial explosion problem of state space. To illustrate our approach, AUTSEG was applied to the case of a transportation contactless card." @default.
- W150763028 created "2016-06-24" @default.
- W150763028 creator A5006596944 @default.
- W150763028 creator A5059316155 @default.
- W150763028 creator A5075822174 @default.
- W150763028 date "2014-01-01" @default.
- W150763028 modified "2023-09-25" @default.
- W150763028 title "AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems" @default.
- W150763028 cites W1766479663 @default.
- W150763028 cites W1890877299 @default.
- W150763028 cites W2025914262 @default.
- W150763028 cites W2058262273 @default.
- W150763028 cites W2080267935 @default.
- W150763028 cites W208073541 @default.
- W150763028 cites W2081938726 @default.
- W150763028 cites W2122719199 @default.
- W150763028 cites W2148465776 @default.
- W150763028 cites W2163499368 @default.
- W150763028 cites W2165426643 @default.
- W150763028 cites W2997179040 @default.
- W150763028 doi "https://doi.org/10.1007/978-3-662-44857-1_7" @default.
- W150763028 hasPublicationYear "2014" @default.
- W150763028 type Work @default.
- W150763028 sameAs 150763028 @default.
- W150763028 citedByCount "0" @default.
- W150763028 crossrefType "book-chapter" @default.
- W150763028 hasAuthorship W150763028A5006596944 @default.
- W150763028 hasAuthorship W150763028A5059316155 @default.
- W150763028 hasAuthorship W150763028A5075822174 @default.
- W150763028 hasBestOaLocation W1507630281 @default.
- W150763028 hasConcept C105795698 @default.
- W150763028 hasConcept C113775141 @default.
- W150763028 hasConcept C11413529 @default.
- W150763028 hasConcept C120314980 @default.
- W150763028 hasConcept C121332964 @default.
- W150763028 hasConcept C12362212 @default.
- W150763028 hasConcept C149635348 @default.
- W150763028 hasConcept C163258240 @default.
- W150763028 hasConcept C177264268 @default.
- W150763028 hasConcept C199360897 @default.
- W150763028 hasConcept C2524010 @default.
- W150763028 hasConcept C2777904410 @default.
- W150763028 hasConcept C2780992000 @default.
- W150763028 hasConcept C33923547 @default.
- W150763028 hasConcept C41008148 @default.
- W150763028 hasConcept C48103436 @default.
- W150763028 hasConcept C62520636 @default.
- W150763028 hasConcept C72434380 @default.
- W150763028 hasConcept C80444323 @default.
- W150763028 hasConceptScore W150763028C105795698 @default.
- W150763028 hasConceptScore W150763028C113775141 @default.
- W150763028 hasConceptScore W150763028C11413529 @default.
- W150763028 hasConceptScore W150763028C120314980 @default.
- W150763028 hasConceptScore W150763028C121332964 @default.
- W150763028 hasConceptScore W150763028C12362212 @default.
- W150763028 hasConceptScore W150763028C149635348 @default.
- W150763028 hasConceptScore W150763028C163258240 @default.
- W150763028 hasConceptScore W150763028C177264268 @default.
- W150763028 hasConceptScore W150763028C199360897 @default.
- W150763028 hasConceptScore W150763028C2524010 @default.
- W150763028 hasConceptScore W150763028C2777904410 @default.
- W150763028 hasConceptScore W150763028C2780992000 @default.
- W150763028 hasConceptScore W150763028C33923547 @default.
- W150763028 hasConceptScore W150763028C41008148 @default.
- W150763028 hasConceptScore W150763028C48103436 @default.
- W150763028 hasConceptScore W150763028C62520636 @default.
- W150763028 hasConceptScore W150763028C72434380 @default.
- W150763028 hasConceptScore W150763028C80444323 @default.
- W150763028 hasLocation W1507630281 @default.
- W150763028 hasLocation W1507630282 @default.
- W150763028 hasLocation W1507630283 @default.
- W150763028 hasOpenAccess W150763028 @default.
- W150763028 hasPrimaryLocation W1507630281 @default.
- W150763028 hasRelatedWork W1485627940 @default.
- W150763028 hasRelatedWork W1596201972 @default.
- W150763028 hasRelatedWork W1598943142 @default.
- W150763028 hasRelatedWork W1881102326 @default.
- W150763028 hasRelatedWork W1986253068 @default.
- W150763028 hasRelatedWork W2152433827 @default.
- W150763028 hasRelatedWork W2160425906 @default.
- W150763028 hasRelatedWork W2385146268 @default.
- W150763028 hasRelatedWork W2390459957 @default.
- W150763028 hasRelatedWork W4313054100 @default.
- W150763028 isParatext "false" @default.
- W150763028 isRetracted "false" @default.
- W150763028 magId "150763028" @default.
- W150763028 workType "book-chapter" @default.