Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967897074> ?p ?o ?g. }
- W1967897074 endingPage "613" @default.
- W1967897074 startingPage "597" @default.
- W1967897074 abstract "We present Delta execution, a technique that speeds up state-space exploration of object-oriented programs. State-space exploration is the essence of model checking and an increasingly popular approach for automating test generation. A key issue in exploration of object-oriented programs is handling the program state, in particular the heap. We exploit the fact that many execution paths in state-space exploration partially overlap. Delta execution simultaneously operates on several states/heaps and shares the common parts across the executions, separately executing only the deltas where the executions differ. We implemented Delta execution in two model checkers: JPF, a popular general-purpose model checker for Java programs, and BOX, a specialized model checker that we developed for efficient exploration of sequential Java programs. The results for bounded-exhaustive exploration of ten basic subject programs and one larger case study show that Delta execution reduces exploration time from 1.06x to 126.80x (with median 5.60x) in JPF and from 0.58x to 4.16x (with median 2.23x) in BOX. The results for a non-exhaustive exploration in JPF show that Delta execution reduces exploration time from 0.92x to 6.28x (with median 4.52x)." @default.
- W1967897074 created "2016-06-24" @default.
- W1967897074 creator A5020353093 @default.
- W1967897074 creator A5023472224 @default.
- W1967897074 creator A5081289583 @default.
- W1967897074 date "2008-09-01" @default.
- W1967897074 modified "2023-10-01" @default.
- W1967897074 title "Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs" @default.
- W1967897074 cites W1516967624 @default.
- W1967897074 cites W1537807286 @default.
- W1967897074 cites W1540432280 @default.
- W1967897074 cites W1563583171 @default.
- W1967897074 cites W1575079504 @default.
- W1967897074 cites W1579672442 @default.
- W1967897074 cites W1691700263 @default.
- W1967897074 cites W1720848645 @default.
- W1967897074 cites W1777881387 @default.
- W1967897074 cites W1845288303 @default.
- W1967897074 cites W2009489720 @default.
- W1967897074 cites W2012997183 @default.
- W1967897074 cites W2030224590 @default.
- W1967897074 cites W2059224852 @default.
- W1967897074 cites W2065675749 @default.
- W1967897074 cites W2087252615 @default.
- W1967897074 cites W2096824803 @default.
- W1967897074 cites W2099574482 @default.
- W1967897074 cites W2115309705 @default.
- W1967897074 cites W2128012547 @default.
- W1967897074 cites W2129538349 @default.
- W1967897074 cites W2132897303 @default.
- W1967897074 cites W2133237582 @default.
- W1967897074 cites W2135274583 @default.
- W1967897074 cites W2135948849 @default.
- W1967897074 cites W2136503680 @default.
- W1967897074 cites W2140580654 @default.
- W1967897074 cites W2145098440 @default.
- W1967897074 cites W2145212015 @default.
- W1967897074 cites W2158600037 @default.
- W1967897074 cites W2171480813 @default.
- W1967897074 cites W2171683519 @default.
- W1967897074 cites W2172260321 @default.
- W1967897074 cites W2295622790 @default.
- W1967897074 cites W4232660060 @default.
- W1967897074 cites W4237492309 @default.
- W1967897074 cites W4242057943 @default.
- W1967897074 cites W4242672916 @default.
- W1967897074 cites W4250968195 @default.
- W1967897074 cites W4251167975 @default.
- W1967897074 cites W43953174 @default.
- W1967897074 doi "https://doi.org/10.1109/tse.2008.37" @default.
- W1967897074 hasPublicationYear "2008" @default.
- W1967897074 type Work @default.
- W1967897074 sameAs 1967897074 @default.
- W1967897074 citedByCount "16" @default.
- W1967897074 countsByYear W19678970742015 @default.
- W1967897074 countsByYear W19678970742016 @default.
- W1967897074 countsByYear W19678970742017 @default.
- W1967897074 countsByYear W19678970742018 @default.
- W1967897074 countsByYear W19678970742020 @default.
- W1967897074 countsByYear W19678970742021 @default.
- W1967897074 crossrefType "journal-article" @default.
- W1967897074 hasAuthorship W1967897074A5020353093 @default.
- W1967897074 hasAuthorship W1967897074A5023472224 @default.
- W1967897074 hasAuthorship W1967897074A5081289583 @default.
- W1967897074 hasBestOaLocation W19678970742 @default.
- W1967897074 hasConcept C110251889 @default.
- W1967897074 hasConcept C134306372 @default.
- W1967897074 hasConcept C134757568 @default.
- W1967897074 hasConcept C165696696 @default.
- W1967897074 hasConcept C199360897 @default.
- W1967897074 hasConcept C33923547 @default.
- W1967897074 hasConcept C34388435 @default.
- W1967897074 hasConcept C38652104 @default.
- W1967897074 hasConcept C41008148 @default.
- W1967897074 hasConcept C48103436 @default.
- W1967897074 hasConcept C548217200 @default.
- W1967897074 hasConceptScore W1967897074C110251889 @default.
- W1967897074 hasConceptScore W1967897074C134306372 @default.
- W1967897074 hasConceptScore W1967897074C134757568 @default.
- W1967897074 hasConceptScore W1967897074C165696696 @default.
- W1967897074 hasConceptScore W1967897074C199360897 @default.
- W1967897074 hasConceptScore W1967897074C33923547 @default.
- W1967897074 hasConceptScore W1967897074C34388435 @default.
- W1967897074 hasConceptScore W1967897074C38652104 @default.
- W1967897074 hasConceptScore W1967897074C41008148 @default.
- W1967897074 hasConceptScore W1967897074C48103436 @default.
- W1967897074 hasConceptScore W1967897074C548217200 @default.
- W1967897074 hasIssue "5" @default.
- W1967897074 hasLocation W19678970741 @default.
- W1967897074 hasLocation W19678970742 @default.
- W1967897074 hasLocation W19678970743 @default.
- W1967897074 hasOpenAccess W1967897074 @default.
- W1967897074 hasPrimaryLocation W19678970741 @default.
- W1967897074 hasRelatedWork W1481383228 @default.
- W1967897074 hasRelatedWork W1493446239 @default.
- W1967897074 hasRelatedWork W1825982205 @default.
- W1967897074 hasRelatedWork W1979547103 @default.
- W1967897074 hasRelatedWork W2068737373 @default.