Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146886485> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2146886485 endingPage "108" @default.
- W2146886485 startingPage "101" @default.
- W2146886485 abstract "This paper describes a framework for test-case generation for microcontroller binary programs using abstract interpretation techniques. The key idea of our approach is to derive program invariants a priori, and then use backward analysis to obtain test vectors that are executed on the target microcontroller. Due to the structure of binary code, the abstract interpretation framework is based on propositional encodings of the program semantics and SAT solving." @default.
- W2146886485 created "2016-06-24" @default.
- W2146886485 creator A5006749662 @default.
- W2146886485 creator A5019982470 @default.
- W2146886485 creator A5028034207 @default.
- W2146886485 creator A5070791589 @default.
- W2146886485 creator A5086772516 @default.
- W2146886485 date "2010-01-01" @default.
- W2146886485 modified "2023-09-26" @default.
- W2146886485 title "Test-Case Generation for Embedded Binary Code Using Abstract Interpretation." @default.
- W2146886485 hasPublicationYear "2010" @default.
- W2146886485 type Work @default.
- W2146886485 sameAs 2146886485 @default.
- W2146886485 citedByCount "2" @default.
- W2146886485 countsByYear W21468864852013 @default.
- W2146886485 crossrefType "journal-article" @default.
- W2146886485 hasAuthorship W2146886485A5006749662 @default.
- W2146886485 hasAuthorship W2146886485A5019982470 @default.
- W2146886485 hasAuthorship W2146886485A5028034207 @default.
- W2146886485 hasAuthorship W2146886485A5070791589 @default.
- W2146886485 hasAuthorship W2146886485A5086772516 @default.
- W2146886485 hasConcept C111472728 @default.
- W2146886485 hasConcept C11413529 @default.
- W2146886485 hasConcept C138885662 @default.
- W2146886485 hasConcept C149635348 @default.
- W2146886485 hasConcept C173018170 @default.
- W2146886485 hasConcept C177264268 @default.
- W2146886485 hasConcept C184337299 @default.
- W2146886485 hasConcept C199360897 @default.
- W2146886485 hasConcept C2776760102 @default.
- W2146886485 hasConcept C2780654840 @default.
- W2146886485 hasConcept C33923547 @default.
- W2146886485 hasConcept C41008148 @default.
- W2146886485 hasConcept C48372109 @default.
- W2146886485 hasConcept C527412718 @default.
- W2146886485 hasConcept C75553542 @default.
- W2146886485 hasConcept C80444323 @default.
- W2146886485 hasConcept C94375191 @default.
- W2146886485 hasConceptScore W2146886485C111472728 @default.
- W2146886485 hasConceptScore W2146886485C11413529 @default.
- W2146886485 hasConceptScore W2146886485C138885662 @default.
- W2146886485 hasConceptScore W2146886485C149635348 @default.
- W2146886485 hasConceptScore W2146886485C173018170 @default.
- W2146886485 hasConceptScore W2146886485C177264268 @default.
- W2146886485 hasConceptScore W2146886485C184337299 @default.
- W2146886485 hasConceptScore W2146886485C199360897 @default.
- W2146886485 hasConceptScore W2146886485C2776760102 @default.
- W2146886485 hasConceptScore W2146886485C2780654840 @default.
- W2146886485 hasConceptScore W2146886485C33923547 @default.
- W2146886485 hasConceptScore W2146886485C41008148 @default.
- W2146886485 hasConceptScore W2146886485C48372109 @default.
- W2146886485 hasConceptScore W2146886485C527412718 @default.
- W2146886485 hasConceptScore W2146886485C75553542 @default.
- W2146886485 hasConceptScore W2146886485C80444323 @default.
- W2146886485 hasConceptScore W2146886485C94375191 @default.
- W2146886485 hasLocation W21468864851 @default.
- W2146886485 hasOpenAccess W2146886485 @default.
- W2146886485 hasPrimaryLocation W21468864851 @default.
- W2146886485 hasRelatedWork W1487300148 @default.
- W2146886485 hasRelatedWork W1514983780 @default.
- W2146886485 hasRelatedWork W1517041072 @default.
- W2146886485 hasRelatedWork W1531269653 @default.
- W2146886485 hasRelatedWork W1574295141 @default.
- W2146886485 hasRelatedWork W1843117335 @default.
- W2146886485 hasRelatedWork W1988537734 @default.
- W2146886485 hasRelatedWork W1992946078 @default.
- W2146886485 hasRelatedWork W1994676549 @default.
- W2146886485 hasRelatedWork W2058869529 @default.
- W2146886485 hasRelatedWork W2100488569 @default.
- W2146886485 hasRelatedWork W2101827209 @default.
- W2146886485 hasRelatedWork W2104901613 @default.
- W2146886485 hasRelatedWork W2108568781 @default.
- W2146886485 hasRelatedWork W2118362509 @default.
- W2146886485 hasRelatedWork W2143744897 @default.
- W2146886485 hasRelatedWork W2158119104 @default.
- W2146886485 hasRelatedWork W2336241458 @default.
- W2146886485 hasRelatedWork W2398880063 @default.
- W2146886485 hasRelatedWork W2179502024 @default.
- W2146886485 isParatext "false" @default.
- W2146886485 isRetracted "false" @default.
- W2146886485 magId "2146886485" @default.
- W2146886485 workType "article" @default.