Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296669295> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2296669295 abstract "Concolic testing automates test input generation by combining the concrete and symbolic (concolic) execution of the code under test. Traditional test input generation techniques use either (1) concrete execution or (2) symbolic execution that builds constraints and is followed by a generation of concrete test inputs from these constraints. In contrast, concolic testing tightly couples both concrete and symbolic executions: they run simultaneously, and each gets feedback from the other. We have implemented concolic testing in tools for testing both C and Java programs. We have used the tools to find bugs in several real-world software systems including SGLIB, a popular C data structure library used in a commercial tool, a third-party implementation of the Needham-Schroeder protocol and the TMN protocol, the scheduler of Honeywell's DEOS real-time operating system, and the Sun Microsystems' JDK 1.4 collection framework. In this tutorial, we will describe concolic testing and some of its recent extensions" @default.
- W2296669295 created "2016-06-24" @default.
- W2296669295 creator A5025169716 @default.
- W2296669295 date "2007-01-01" @default.
- W2296669295 modified "2023-10-18" @default.
- W2296669295 title "Concolic testing" @default.
- W2296669295 cites W106055863 @default.
- W2296669295 cites W1548806133 @default.
- W2296669295 cites W1550112417 @default.
- W2296669295 cites W1720848645 @default.
- W2296669295 cites W1845288303 @default.
- W2296669295 cites W1980719717 @default.
- W2296669295 cites W2009007001 @default.
- W2296669295 cites W2009489720 @default.
- W2296669295 cites W2096449544 @default.
- W2296669295 cites W2098115125 @default.
- W2296669295 cites W2104993088 @default.
- W2296669295 cites W2107751709 @default.
- W2296669295 cites W2109276114 @default.
- W2296669295 cites W2119717320 @default.
- W2296669295 cites W2124657291 @default.
- W2296669295 cites W2131290359 @default.
- W2296669295 cites W2161488870 @default.
- W2296669295 cites W2171683519 @default.
- W2296669295 cites W2172260321 @default.
- W2296669295 cites W95732741 @default.
- W2296669295 doi "https://doi.org/10.1145/1321631.1321746" @default.
- W2296669295 hasPublicationYear "2007" @default.
- W2296669295 type Work @default.
- W2296669295 sameAs 2296669295 @default.
- W2296669295 citedByCount "139" @default.
- W2296669295 countsByYear W22966692952012 @default.
- W2296669295 countsByYear W22966692952013 @default.
- W2296669295 countsByYear W22966692952014 @default.
- W2296669295 countsByYear W22966692952015 @default.
- W2296669295 countsByYear W22966692952016 @default.
- W2296669295 countsByYear W22966692952017 @default.
- W2296669295 countsByYear W22966692952018 @default.
- W2296669295 countsByYear W22966692952019 @default.
- W2296669295 countsByYear W22966692952020 @default.
- W2296669295 countsByYear W22966692952021 @default.
- W2296669295 countsByYear W22966692952022 @default.
- W2296669295 countsByYear W22966692952023 @default.
- W2296669295 crossrefType "proceedings-article" @default.
- W2296669295 hasAuthorship W2296669295A5025169716 @default.
- W2296669295 hasConcept C106159264 @default.
- W2296669295 hasConcept C111065885 @default.
- W2296669295 hasConcept C111919701 @default.
- W2296669295 hasConcept C11219265 @default.
- W2296669295 hasConcept C115903868 @default.
- W2296669295 hasConcept C119857082 @default.
- W2296669295 hasConcept C128942645 @default.
- W2296669295 hasConcept C149635348 @default.
- W2296669295 hasConcept C152877465 @default.
- W2296669295 hasConcept C199360897 @default.
- W2296669295 hasConcept C2777904410 @default.
- W2296669295 hasConcept C2779639559 @default.
- W2296669295 hasConcept C41008148 @default.
- W2296669295 hasConcept C53942775 @default.
- W2296669295 hasConcept C548217200 @default.
- W2296669295 hasConceptScore W2296669295C106159264 @default.
- W2296669295 hasConceptScore W2296669295C111065885 @default.
- W2296669295 hasConceptScore W2296669295C111919701 @default.
- W2296669295 hasConceptScore W2296669295C11219265 @default.
- W2296669295 hasConceptScore W2296669295C115903868 @default.
- W2296669295 hasConceptScore W2296669295C119857082 @default.
- W2296669295 hasConceptScore W2296669295C128942645 @default.
- W2296669295 hasConceptScore W2296669295C149635348 @default.
- W2296669295 hasConceptScore W2296669295C152877465 @default.
- W2296669295 hasConceptScore W2296669295C199360897 @default.
- W2296669295 hasConceptScore W2296669295C2777904410 @default.
- W2296669295 hasConceptScore W2296669295C2779639559 @default.
- W2296669295 hasConceptScore W2296669295C41008148 @default.
- W2296669295 hasConceptScore W2296669295C53942775 @default.
- W2296669295 hasConceptScore W2296669295C548217200 @default.
- W2296669295 hasLocation W22966692951 @default.
- W2296669295 hasOpenAccess W2296669295 @default.
- W2296669295 hasPrimaryLocation W22966692951 @default.
- W2296669295 hasRelatedWork W1634497122 @default.
- W2296669295 hasRelatedWork W1992057646 @default.
- W2296669295 hasRelatedWork W2088263927 @default.
- W2296669295 hasRelatedWork W223068689 @default.
- W2296669295 hasRelatedWork W2296669295 @default.
- W2296669295 hasRelatedWork W2375338395 @default.
- W2296669295 hasRelatedWork W2527390967 @default.
- W2296669295 hasRelatedWork W2731683699 @default.
- W2296669295 hasRelatedWork W2789211788 @default.
- W2296669295 hasRelatedWork W844671342 @default.
- W2296669295 isParatext "false" @default.
- W2296669295 isRetracted "false" @default.
- W2296669295 magId "2296669295" @default.
- W2296669295 workType "article" @default.