Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406659383> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2406659383 abstract "Recently virtual platforms and virtual prototyping techniques have been widely applied for accelerating software development in electronics companies. It has been proved that these techniques can greatly shorten time-to-market and improve product quality. One challenge is how to test and validate a virtual prototype. In this paper, we present how to conduct regression testing of virtual prototypes in different versions using symbolic execution. Suppose we have old and new versions of a virtual prototype, we first apply symbolic execution to the new version and collect all path constraints. Then the collected path constraints are used for guiding the symbolic execution of the old version. For each path explored, we compare the device states between two versions to check if they behave the same. We have applied this approach to a widely-used virtual prototype and detected numerous differences. The experimental results show that our approach is useful and efficient." @default.
- W2406659383 created "2016-06-24" @default.
- W2406659383 creator A5002878365 @default.
- W2406659383 creator A5032251414 @default.
- W2406659383 date "2016-01-22" @default.
- W2406659383 modified "2023-09-27" @default.
- W2406659383 title "Regression Testing of Virtual Prototypes Using Symbolic Execution." @default.
- W2406659383 cites W1022938503 @default.
- W2406659383 cites W1522250664 @default.
- W2406659383 cites W1593751862 @default.
- W2406659383 cites W1710734607 @default.
- W2406659383 cites W1985018157 @default.
- W2406659383 cites W1996847729 @default.
- W2406659383 cites W2016719596 @default.
- W2406659383 cites W2020845182 @default.
- W2406659383 cites W2028010430 @default.
- W2406659383 cites W2042033151 @default.
- W2406659383 cites W2051256740 @default.
- W2406659383 cites W2062392785 @default.
- W2406659383 cites W2074371713 @default.
- W2406659383 cites W2076960126 @default.
- W2406659383 cites W2079893838 @default.
- W2406659383 cites W2095773278 @default.
- W2406659383 cites W2111979321 @default.
- W2406659383 cites W2128325590 @default.
- W2406659383 cites W2133210559 @default.
- W2406659383 cites W2137530017 @default.
- W2406659383 cites W2151394745 @default.
- W2406659383 cites W2151585646 @default.
- W2406659383 cites W2162023704 @default.
- W2406659383 cites W2334754211 @default.
- W2406659383 cites W77946476 @default.
- W2406659383 cites W2073882021 @default.
- W2406659383 hasPublicationYear "2016" @default.
- W2406659383 type Work @default.
- W2406659383 sameAs 2406659383 @default.
- W2406659383 citedByCount "2" @default.
- W2406659383 countsByYear W24066593832018 @default.
- W2406659383 countsByYear W24066593832021 @default.
- W2406659383 crossrefType "posted-content" @default.
- W2406659383 hasAuthorship W2406659383A5002878365 @default.
- W2406659383 hasAuthorship W2406659383A5032251414 @default.
- W2406659383 hasConcept C11219265 @default.
- W2406659383 hasConcept C161821725 @default.
- W2406659383 hasConcept C186846655 @default.
- W2406659383 hasConcept C199360897 @default.
- W2406659383 hasConcept C2777735758 @default.
- W2406659383 hasConcept C2777904410 @default.
- W2406659383 hasConcept C2779639559 @default.
- W2406659383 hasConcept C2780991453 @default.
- W2406659383 hasConcept C41008148 @default.
- W2406659383 hasConcept C44154836 @default.
- W2406659383 hasConcept C529173508 @default.
- W2406659383 hasConceptScore W2406659383C11219265 @default.
- W2406659383 hasConceptScore W2406659383C161821725 @default.
- W2406659383 hasConceptScore W2406659383C186846655 @default.
- W2406659383 hasConceptScore W2406659383C199360897 @default.
- W2406659383 hasConceptScore W2406659383C2777735758 @default.
- W2406659383 hasConceptScore W2406659383C2777904410 @default.
- W2406659383 hasConceptScore W2406659383C2779639559 @default.
- W2406659383 hasConceptScore W2406659383C2780991453 @default.
- W2406659383 hasConceptScore W2406659383C41008148 @default.
- W2406659383 hasConceptScore W2406659383C44154836 @default.
- W2406659383 hasConceptScore W2406659383C529173508 @default.
- W2406659383 hasLocation W24066593831 @default.
- W2406659383 hasOpenAccess W2406659383 @default.
- W2406659383 hasPrimaryLocation W24066593831 @default.
- W2406659383 hasRelatedWork W152905118 @default.
- W2406659383 hasRelatedWork W1974389128 @default.
- W2406659383 hasRelatedWork W1982273486 @default.
- W2406659383 hasRelatedWork W1988675891 @default.
- W2406659383 hasRelatedWork W207356338 @default.
- W2406659383 hasRelatedWork W2118100867 @default.
- W2406659383 hasRelatedWork W2130514924 @default.
- W2406659383 hasRelatedWork W2145257696 @default.
- W2406659383 hasRelatedWork W2168561991 @default.
- W2406659383 hasRelatedWork W2173202415 @default.
- W2406659383 hasRelatedWork W2519928380 @default.
- W2406659383 hasRelatedWork W2561578211 @default.
- W2406659383 hasRelatedWork W2756241426 @default.
- W2406659383 hasRelatedWork W2777182529 @default.
- W2406659383 hasRelatedWork W2794880358 @default.
- W2406659383 hasRelatedWork W2997031780 @default.
- W2406659383 hasRelatedWork W3146556241 @default.
- W2406659383 hasRelatedWork W3201986273 @default.
- W2406659383 hasRelatedWork W649671021 @default.
- W2406659383 hasRelatedWork W2040937391 @default.
- W2406659383 isParatext "false" @default.
- W2406659383 isRetracted "false" @default.
- W2406659383 magId "2406659383" @default.
- W2406659383 workType "article" @default.