Matches in SemOpenAlex for { <https://semopenalex.org/work/W1720848645> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1720848645 endingPage "568" @default.
- W1720848645 startingPage "553" @default.
- W1720848645 abstract "Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches. First, we define a source to source translation to instrument a program, which enables standard model checkers to perform symbolic execution of the program. Second, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore different program heap configurations and manipulate logical formulae on program data (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker." @default.
- W1720848645 created "2016-06-24" @default.
- W1720848645 creator A5004951814 @default.
- W1720848645 creator A5053134485 @default.
- W1720848645 creator A5088454541 @default.
- W1720848645 date "2003-01-01" @default.
- W1720848645 modified "2023-10-18" @default.
- W1720848645 title "Generalized Symbolic Execution for Model Checking and Testing" @default.
- W1720848645 cites W1495461922 @default.
- W1720848645 cites W1500983737 @default.
- W1720848645 cites W1979812412 @default.
- W1720848645 cites W1988441831 @default.
- W1720848645 cites W2001289891 @default.
- W1720848645 cites W2030697178 @default.
- W1720848645 cites W2065675749 @default.
- W1720848645 cites W2084974764 @default.
- W1720848645 cites W2101512909 @default.
- W1720848645 cites W2115309705 @default.
- W1720848645 cites W2132331020 @default.
- W1720848645 cites W2135274583 @default.
- W1720848645 cites W4213079124 @default.
- W1720848645 cites W4234459169 @default.
- W1720848645 cites W4238269194 @default.
- W1720848645 cites W4242057943 @default.
- W1720848645 cites W4253606798 @default.
- W1720848645 cites W2096006647 @default.
- W1720848645 doi "https://doi.org/10.1007/3-540-36577-x_40" @default.
- W1720848645 hasPublicationYear "2003" @default.
- W1720848645 type Work @default.
- W1720848645 sameAs 1720848645 @default.
- W1720848645 citedByCount "365" @default.
- W1720848645 countsByYear W17208486452012 @default.
- W1720848645 countsByYear W17208486452013 @default.
- W1720848645 countsByYear W17208486452014 @default.
- W1720848645 countsByYear W17208486452015 @default.
- W1720848645 countsByYear W17208486452016 @default.
- W1720848645 countsByYear W17208486452017 @default.
- W1720848645 countsByYear W17208486452018 @default.
- W1720848645 countsByYear W17208486452019 @default.
- W1720848645 countsByYear W17208486452020 @default.
- W1720848645 countsByYear W17208486452021 @default.
- W1720848645 countsByYear W17208486452022 @default.
- W1720848645 countsByYear W17208486452023 @default.
- W1720848645 crossrefType "book-chapter" @default.
- W1720848645 hasAuthorship W1720848645A5004951814 @default.
- W1720848645 hasAuthorship W1720848645A5053134485 @default.
- W1720848645 hasAuthorship W1720848645A5088454541 @default.
- W1720848645 hasBestOaLocation W17208486451 @default.
- W1720848645 hasConcept C110251889 @default.
- W1720848645 hasConcept C11219265 @default.
- W1720848645 hasConcept C134757568 @default.
- W1720848645 hasConcept C193702766 @default.
- W1720848645 hasConcept C199360897 @default.
- W1720848645 hasConcept C23123167 @default.
- W1720848645 hasConcept C2777904410 @default.
- W1720848645 hasConcept C2779639559 @default.
- W1720848645 hasConcept C41008148 @default.
- W1720848645 hasConcept C548217200 @default.
- W1720848645 hasConcept C55439883 @default.
- W1720848645 hasConcept C80444323 @default.
- W1720848645 hasConceptScore W1720848645C110251889 @default.
- W1720848645 hasConceptScore W1720848645C11219265 @default.
- W1720848645 hasConceptScore W1720848645C134757568 @default.
- W1720848645 hasConceptScore W1720848645C193702766 @default.
- W1720848645 hasConceptScore W1720848645C199360897 @default.
- W1720848645 hasConceptScore W1720848645C23123167 @default.
- W1720848645 hasConceptScore W1720848645C2777904410 @default.
- W1720848645 hasConceptScore W1720848645C2779639559 @default.
- W1720848645 hasConceptScore W1720848645C41008148 @default.
- W1720848645 hasConceptScore W1720848645C548217200 @default.
- W1720848645 hasConceptScore W1720848645C55439883 @default.
- W1720848645 hasConceptScore W1720848645C80444323 @default.
- W1720848645 hasLocation W17208486451 @default.
- W1720848645 hasLocation W17208486452 @default.
- W1720848645 hasOpenAccess W1720848645 @default.
- W1720848645 hasPrimaryLocation W17208486451 @default.
- W1720848645 hasRelatedWork W1720848645 @default.
- W1720848645 hasRelatedWork W2037711733 @default.
- W1720848645 hasRelatedWork W2078988604 @default.
- W1720848645 hasRelatedWork W2339080697 @default.
- W1720848645 hasRelatedWork W2569478784 @default.
- W1720848645 hasRelatedWork W2885626945 @default.
- W1720848645 hasRelatedWork W2972209643 @default.
- W1720848645 hasRelatedWork W4376123179 @default.
- W1720848645 hasRelatedWork W78086918 @default.
- W1720848645 hasRelatedWork W2256669557 @default.
- W1720848645 isParatext "false" @default.
- W1720848645 isRetracted "false" @default.
- W1720848645 magId "1720848645" @default.
- W1720848645 workType "book-chapter" @default.