Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000982685> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2000982685 abstract "Simulation based verification is the most commonly used verification technique in the industry. However, the effort of generating new tests is non-trivial especially for the newly emerging multicore applications. Automated test generation greatly reduces the cost of testing ultimately improving the quality of multicore software. We develop an automated test generation framework using static analysis techniques for embedded multicore applications. We use an emerging multicore standard for multicore applications, named Multicore Communication API (MCAPI). MCAPI is a lightweight API that targets heterogeneous multicore embedded systems. Specifically, our techniques lever- age mutation testing and model checking. We present preliminary experimental results to validate the effectiveness of our approach." @default.
- W2000982685 created "2016-06-24" @default.
- W2000982685 creator A5050136674 @default.
- W2000982685 creator A5085626096 @default.
- W2000982685 date "2011-12-01" @default.
- W2000982685 modified "2023-09-25" @default.
- W2000982685 title "Verification Tests for MCAPI" @default.
- W2000982685 cites W1514137089 @default.
- W2000982685 cites W1554885925 @default.
- W2000982685 cites W1562679818 @default.
- W2000982685 cites W1567503821 @default.
- W2000982685 cites W1989065170 @default.
- W2000982685 cites W2011868109 @default.
- W2000982685 cites W2055424026 @default.
- W2000982685 cites W2125301519 @default.
- W2000982685 cites W2129538349 @default.
- W2000982685 cites W2158475682 @default.
- W2000982685 cites W2163477945 @default.
- W2000982685 cites W2535681473 @default.
- W2000982685 cites W3154325595 @default.
- W2000982685 cites W3155461036 @default.
- W2000982685 doi "https://doi.org/10.1109/mtv.2011.18" @default.
- W2000982685 hasPublicationYear "2011" @default.
- W2000982685 type Work @default.
- W2000982685 sameAs 2000982685 @default.
- W2000982685 citedByCount "0" @default.
- W2000982685 crossrefType "proceedings-article" @default.
- W2000982685 hasAuthorship W2000982685A5050136674 @default.
- W2000982685 hasAuthorship W2000982685A5085626096 @default.
- W2000982685 hasBestOaLocation W20009826852 @default.
- W2000982685 hasConcept C111919701 @default.
- W2000982685 hasConcept C118524514 @default.
- W2000982685 hasConcept C149635348 @default.
- W2000982685 hasConcept C173608175 @default.
- W2000982685 hasConcept C2777904410 @default.
- W2000982685 hasConcept C41008148 @default.
- W2000982685 hasConcept C78766204 @default.
- W2000982685 hasConceptScore W2000982685C111919701 @default.
- W2000982685 hasConceptScore W2000982685C118524514 @default.
- W2000982685 hasConceptScore W2000982685C149635348 @default.
- W2000982685 hasConceptScore W2000982685C173608175 @default.
- W2000982685 hasConceptScore W2000982685C2777904410 @default.
- W2000982685 hasConceptScore W2000982685C41008148 @default.
- W2000982685 hasConceptScore W2000982685C78766204 @default.
- W2000982685 hasLocation W20009826851 @default.
- W2000982685 hasLocation W20009826852 @default.
- W2000982685 hasOpenAccess W2000982685 @default.
- W2000982685 hasPrimaryLocation W20009826851 @default.
- W2000982685 hasRelatedWork W132023317 @default.
- W2000982685 hasRelatedWork W1591361873 @default.
- W2000982685 hasRelatedWork W1670099968 @default.
- W2000982685 hasRelatedWork W1989828912 @default.
- W2000982685 hasRelatedWork W2041277225 @default.
- W2000982685 hasRelatedWork W2069627149 @default.
- W2000982685 hasRelatedWork W2089188930 @default.
- W2000982685 hasRelatedWork W2116517177 @default.
- W2000982685 hasRelatedWork W2138697832 @default.
- W2000982685 hasRelatedWork W2187402102 @default.
- W2000982685 hasRelatedWork W2400527860 @default.
- W2000982685 hasRelatedWork W2745199557 @default.
- W2000982685 hasRelatedWork W2809468530 @default.
- W2000982685 hasRelatedWork W2896902998 @default.
- W2000982685 hasRelatedWork W2898989376 @default.
- W2000982685 hasRelatedWork W3129849039 @default.
- W2000982685 hasRelatedWork W3140791075 @default.
- W2000982685 hasRelatedWork W3141206533 @default.
- W2000982685 hasRelatedWork W3145381907 @default.
- W2000982685 hasRelatedWork W3161852093 @default.
- W2000982685 isParatext "false" @default.
- W2000982685 isRetracted "false" @default.
- W2000982685 magId "2000982685" @default.
- W2000982685 workType "article" @default.