Matches in SemOpenAlex for { <https://semopenalex.org/work/W1699755414> ?p ?o ?g. }
- W1699755414 endingPage "33" @default.
- W1699755414 startingPage "24" @default.
- W1699755414 abstract "This paper presents a short introduction to automatic code-driven testgeneration using symbolic execution. It discusses some key technicalchallenges, solutions and milestones, but is not an exhaustive surveyof this research area." @default.
- W1699755414 created "2016-06-24" @default.
- W1699755414 creator A5069392259 @default.
- W1699755414 date "2012-01-01" @default.
- W1699755414 modified "2023-09-26" @default.
- W1699755414 title "Test Generation Using Symbolic Execution" @default.
- W1699755414 cites W1480909796 @default.
- W1699755414 cites W1497028280 @default.
- W1699755414 cites W1506510492 @default.
- W1699755414 cites W1507173517 @default.
- W1699755414 cites W1548806133 @default.
- W1699755414 cites W1550112417 @default.
- W1699755414 cites W1550549614 @default.
- W1699755414 cites W157156687 @default.
- W1699755414 cites W1710734607 @default.
- W1699755414 cites W1720848645 @default.
- W1699755414 cites W1766065475 @default.
- W1699755414 cites W1819209966 @default.
- W1699755414 cites W1995109607 @default.
- W1699755414 cites W2009489720 @default.
- W1699755414 cites W2032153666 @default.
- W1699755414 cites W2033072042 @default.
- W1699755414 cites W2040832338 @default.
- W1699755414 cites W2042033151 @default.
- W1699755414 cites W2051634947 @default.
- W1699755414 cites W2061438988 @default.
- W1699755414 cites W2061686717 @default.
- W1699755414 cites W2065675749 @default.
- W1699755414 cites W2065948900 @default.
- W1699755414 cites W2066210260 @default.
- W1699755414 cites W2074888021 @default.
- W1699755414 cites W2082172430 @default.
- W1699755414 cites W2094382938 @default.
- W1699755414 cites W2094568767 @default.
- W1699755414 cites W2096449544 @default.
- W1699755414 cites W2097444001 @default.
- W1699755414 cites W2098202130 @default.
- W1699755414 cites W2101512909 @default.
- W1699755414 cites W2103201337 @default.
- W1699755414 cites W2107445402 @default.
- W1699755414 cites W2110311336 @default.
- W1699755414 cites W2111706174 @default.
- W1699755414 cites W2113531724 @default.
- W1699755414 cites W2114337691 @default.
- W1699755414 cites W2115950902 @default.
- W1699755414 cites W2117058582 @default.
- W1699755414 cites W2118915305 @default.
- W1699755414 cites W2119251836 @default.
- W1699755414 cites W2123267559 @default.
- W1699755414 cites W2132897303 @default.
- W1699755414 cites W2133237582 @default.
- W1699755414 cites W2133612077 @default.
- W1699755414 cites W2134875273 @default.
- W1699755414 cites W2136579066 @default.
- W1699755414 cites W2138721431 @default.
- W1699755414 cites W2138788987 @default.
- W1699755414 cites W2139443212 @default.
- W1699755414 cites W2144123593 @default.
- W1699755414 cites W2152565783 @default.
- W1699755414 cites W2158248180 @default.
- W1699755414 cites W2163499368 @default.
- W1699755414 cites W2165015106 @default.
- W1699755414 cites W2171469152 @default.
- W1699755414 cites W2504100651 @default.
- W1699755414 cites W3010856131 @default.
- W1699755414 doi "https://doi.org/10.4230/lipics.fsttcs.2012.24" @default.
- W1699755414 hasPublicationYear "2012" @default.
- W1699755414 type Work @default.
- W1699755414 sameAs 1699755414 @default.
- W1699755414 citedByCount "4" @default.
- W1699755414 countsByYear W16997554142013 @default.
- W1699755414 countsByYear W16997554142016 @default.
- W1699755414 countsByYear W16997554142017 @default.
- W1699755414 countsByYear W16997554142022 @default.
- W1699755414 crossrefType "proceedings-article" @default.
- W1699755414 hasAuthorship W1699755414A5069392259 @default.
- W1699755414 hasConcept C11219265 @default.
- W1699755414 hasConcept C119599485 @default.
- W1699755414 hasConcept C127413603 @default.
- W1699755414 hasConcept C134146338 @default.
- W1699755414 hasConcept C151730666 @default.
- W1699755414 hasConcept C173608175 @default.
- W1699755414 hasConcept C17626397 @default.
- W1699755414 hasConcept C199360897 @default.
- W1699755414 hasConcept C2777267654 @default.
- W1699755414 hasConcept C2777904410 @default.
- W1699755414 hasConcept C2779639559 @default.
- W1699755414 hasConcept C41008148 @default.
- W1699755414 hasConcept C86803240 @default.
- W1699755414 hasConceptScore W1699755414C11219265 @default.
- W1699755414 hasConceptScore W1699755414C119599485 @default.
- W1699755414 hasConceptScore W1699755414C127413603 @default.
- W1699755414 hasConceptScore W1699755414C134146338 @default.
- W1699755414 hasConceptScore W1699755414C151730666 @default.
- W1699755414 hasConceptScore W1699755414C173608175 @default.
- W1699755414 hasConceptScore W1699755414C17626397 @default.
- W1699755414 hasConceptScore W1699755414C199360897 @default.
- W1699755414 hasConceptScore W1699755414C2777267654 @default.