Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005201077> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2005201077 abstract "Symbolic execution is a program analysis technique that attempts to explore all possible paths through a program by using symbolic values rather than actual data values as inputs. When applied to Statecharts, a model-based formalism for reactive systems, symbolic execution can determine all feasible paths through a model up to a specified bound and generate input sequences exercising these paths. The main drawback of this method is its computational expense. This paper describes two efforts to improve the performance of symbolic execution within our previously developed framework for Statechart analysis. One method is a multithreaded symbolic execution engine targeted directly at our framework. A second, orthogonal, method is program specialization with respect to a particular model and Statechart semantics, which uses symbolic execution to rewrite the original code into an equivalent form that has fewer instructions and is easier to analyze." @default.
- W2005201077 created "2016-06-24" @default.
- W2005201077 creator A5014360702 @default.
- W2005201077 creator A5021682349 @default.
- W2005201077 creator A5053134485 @default.
- W2005201077 creator A5072480199 @default.
- W2005201077 creator A5078210156 @default.
- W2005201077 date "2012-10-01" @default.
- W2005201077 modified "2023-10-16" @default.
- W2005201077 title "Improving symbolic execution for statechart formalisms" @default.
- W2005201077 cites W1991346612 @default.
- W2005201077 cites W2026525660 @default.
- W2005201077 cites W2047694629 @default.
- W2005201077 cites W2099529102 @default.
- W2005201077 cites W2101512909 @default.
- W2005201077 cites W2134291258 @default.
- W2005201077 cites W2169063148 @default.
- W2005201077 doi "https://doi.org/10.1145/2427376.2427385" @default.
- W2005201077 hasPublicationYear "2012" @default.
- W2005201077 type Work @default.
- W2005201077 sameAs 2005201077 @default.
- W2005201077 citedByCount "5" @default.
- W2005201077 countsByYear W20052010772013 @default.
- W2005201077 countsByYear W20052010772014 @default.
- W2005201077 countsByYear W20052010772023 @default.
- W2005201077 crossrefType "proceedings-article" @default.
- W2005201077 hasAuthorship W2005201077A5014360702 @default.
- W2005201077 hasAuthorship W2005201077A5021682349 @default.
- W2005201077 hasAuthorship W2005201077A5053134485 @default.
- W2005201077 hasAuthorship W2005201077A5072480199 @default.
- W2005201077 hasAuthorship W2005201077A5078210156 @default.
- W2005201077 hasConcept C110251889 @default.
- W2005201077 hasConcept C11171543 @default.
- W2005201077 hasConcept C11219265 @default.
- W2005201077 hasConcept C142362112 @default.
- W2005201077 hasConcept C153349607 @default.
- W2005201077 hasConcept C15744967 @default.
- W2005201077 hasConcept C171018156 @default.
- W2005201077 hasConcept C173608175 @default.
- W2005201077 hasConcept C184337299 @default.
- W2005201077 hasConcept C199360897 @default.
- W2005201077 hasConcept C23123167 @default.
- W2005201077 hasConcept C2524010 @default.
- W2005201077 hasConcept C2776095079 @default.
- W2005201077 hasConcept C2777904410 @default.
- W2005201077 hasConcept C2779639559 @default.
- W2005201077 hasConcept C2989134064 @default.
- W2005201077 hasConcept C33923547 @default.
- W2005201077 hasConcept C41008148 @default.
- W2005201077 hasConcept C558565934 @default.
- W2005201077 hasConcept C65620979 @default.
- W2005201077 hasConcept C73301696 @default.
- W2005201077 hasConcept C80444323 @default.
- W2005201077 hasConcept C98183937 @default.
- W2005201077 hasConceptScore W2005201077C110251889 @default.
- W2005201077 hasConceptScore W2005201077C11171543 @default.
- W2005201077 hasConceptScore W2005201077C11219265 @default.
- W2005201077 hasConceptScore W2005201077C142362112 @default.
- W2005201077 hasConceptScore W2005201077C153349607 @default.
- W2005201077 hasConceptScore W2005201077C15744967 @default.
- W2005201077 hasConceptScore W2005201077C171018156 @default.
- W2005201077 hasConceptScore W2005201077C173608175 @default.
- W2005201077 hasConceptScore W2005201077C184337299 @default.
- W2005201077 hasConceptScore W2005201077C199360897 @default.
- W2005201077 hasConceptScore W2005201077C23123167 @default.
- W2005201077 hasConceptScore W2005201077C2524010 @default.
- W2005201077 hasConceptScore W2005201077C2776095079 @default.
- W2005201077 hasConceptScore W2005201077C2777904410 @default.
- W2005201077 hasConceptScore W2005201077C2779639559 @default.
- W2005201077 hasConceptScore W2005201077C2989134064 @default.
- W2005201077 hasConceptScore W2005201077C33923547 @default.
- W2005201077 hasConceptScore W2005201077C41008148 @default.
- W2005201077 hasConceptScore W2005201077C558565934 @default.
- W2005201077 hasConceptScore W2005201077C65620979 @default.
- W2005201077 hasConceptScore W2005201077C73301696 @default.
- W2005201077 hasConceptScore W2005201077C80444323 @default.
- W2005201077 hasConceptScore W2005201077C98183937 @default.
- W2005201077 hasFunder F4320306101 @default.
- W2005201077 hasFunder F4320337388 @default.
- W2005201077 hasLocation W20052010771 @default.
- W2005201077 hasOpenAccess W2005201077 @default.
- W2005201077 hasPrimaryLocation W20052010771 @default.
- W2005201077 hasRelatedWork W1552900908 @default.
- W2005201077 hasRelatedWork W2005201077 @default.
- W2005201077 hasRelatedWork W206575229 @default.
- W2005201077 hasRelatedWork W2101264565 @default.
- W2005201077 hasRelatedWork W2139478536 @default.
- W2005201077 hasRelatedWork W2806600916 @default.
- W2005201077 hasRelatedWork W2810533955 @default.
- W2005201077 hasRelatedWork W2972209643 @default.
- W2005201077 hasRelatedWork W345638404 @default.
- W2005201077 hasRelatedWork W4248280766 @default.
- W2005201077 isParatext "false" @default.
- W2005201077 isRetracted "false" @default.
- W2005201077 magId "2005201077" @default.
- W2005201077 workType "article" @default.