Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566086941> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1566086941 endingPage "356" @default.
- W1566086941 startingPage "339" @default.
- W1566086941 abstract "We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication, Web services, etc. Specifically, we assume that a program consists of a number of asynchronously executing concurrent processes or actors which may take data inputs and communicate using asynchronous messages. Because of the large numbers of possible data inputs as well as the asynchrony in the execution and communication, distributed programs exhibit very large numbers of potential behaviors. Our goal is two fold: to execute all reachable statements of a program, and to detect deadlock states. Specifically, our algorithm uses simultaneous concrete and symbolic execution, or concolic execution, to explore all distinct behaviors that may result from a program’s execution given different data inputs and schedules. The key idea is as follows. We use the symbolic execution to generate data inputs that may lead to alternate behaviors. At the same time, we use the concrete execution to determine, at runtime, the partial order of events in the program’s execution. This enables us to improve the efficiency of our algorithm by avoiding many tests which would result in equivalent behaviors. We describe our experience with a prototype tool that we have developed as a part of our Java program testing tool jCUTE." @default.
- W1566086941 created "2016-06-24" @default.
- W1566086941 creator A5025169716 @default.
- W1566086941 creator A5076315769 @default.
- W1566086941 date "2006-01-01" @default.
- W1566086941 modified "2023-10-18" @default.
- W1566086941 title "Automated Systematic Testing of Open Distributed Programs" @default.
- W1566086941 cites W1528441743 @default.
- W1566086941 cites W1547793878 @default.
- W1566086941 cites W1557957257 @default.
- W1566086941 cites W1845288303 @default.
- W1566086941 cites W1868818739 @default.
- W1566086941 cites W1980522179 @default.
- W1566086941 cites W2016300863 @default.
- W1566086941 cites W2065675749 @default.
- W1566086941 cites W2093709900 @default.
- W1566086941 cites W2098830227 @default.
- W1566086941 cites W2101512909 @default.
- W1566086941 cites W2115309705 @default.
- W1566086941 cites W2121584042 @default.
- W1566086941 cites W2131053137 @default.
- W1566086941 cites W2169870841 @default.
- W1566086941 cites W2171683519 @default.
- W1566086941 cites W4237492309 @default.
- W1566086941 cites W4256363426 @default.
- W1566086941 doi "https://doi.org/10.1007/11693017_25" @default.
- W1566086941 hasPublicationYear "2006" @default.
- W1566086941 type Work @default.
- W1566086941 sameAs 1566086941 @default.
- W1566086941 citedByCount "101" @default.
- W1566086941 countsByYear W15660869412012 @default.
- W1566086941 countsByYear W15660869412013 @default.
- W1566086941 countsByYear W15660869412014 @default.
- W1566086941 countsByYear W15660869412015 @default.
- W1566086941 countsByYear W15660869412016 @default.
- W1566086941 countsByYear W15660869412017 @default.
- W1566086941 countsByYear W15660869412018 @default.
- W1566086941 countsByYear W15660869412019 @default.
- W1566086941 countsByYear W15660869412020 @default.
- W1566086941 countsByYear W15660869412021 @default.
- W1566086941 countsByYear W15660869412022 @default.
- W1566086941 countsByYear W15660869412023 @default.
- W1566086941 crossrefType "book-chapter" @default.
- W1566086941 hasAuthorship W1566086941A5025169716 @default.
- W1566086941 hasAuthorship W1566086941A5076315769 @default.
- W1566086941 hasBestOaLocation W15660869411 @default.
- W1566086941 hasConcept C111919701 @default.
- W1566086941 hasConcept C11219265 @default.
- W1566086941 hasConcept C112968700 @default.
- W1566086941 hasConcept C120314980 @default.
- W1566086941 hasConcept C151319957 @default.
- W1566086941 hasConcept C159023740 @default.
- W1566086941 hasConcept C199360897 @default.
- W1566086941 hasConcept C26517878 @default.
- W1566086941 hasConcept C2777904410 @default.
- W1566086941 hasConcept C2779019669 @default.
- W1566086941 hasConcept C2779639559 @default.
- W1566086941 hasConcept C2989134064 @default.
- W1566086941 hasConcept C31258907 @default.
- W1566086941 hasConcept C41008148 @default.
- W1566086941 hasConcept C98045186 @default.
- W1566086941 hasConceptScore W1566086941C111919701 @default.
- W1566086941 hasConceptScore W1566086941C11219265 @default.
- W1566086941 hasConceptScore W1566086941C112968700 @default.
- W1566086941 hasConceptScore W1566086941C120314980 @default.
- W1566086941 hasConceptScore W1566086941C151319957 @default.
- W1566086941 hasConceptScore W1566086941C159023740 @default.
- W1566086941 hasConceptScore W1566086941C199360897 @default.
- W1566086941 hasConceptScore W1566086941C26517878 @default.
- W1566086941 hasConceptScore W1566086941C2777904410 @default.
- W1566086941 hasConceptScore W1566086941C2779019669 @default.
- W1566086941 hasConceptScore W1566086941C2779639559 @default.
- W1566086941 hasConceptScore W1566086941C2989134064 @default.
- W1566086941 hasConceptScore W1566086941C31258907 @default.
- W1566086941 hasConceptScore W1566086941C41008148 @default.
- W1566086941 hasConceptScore W1566086941C98045186 @default.
- W1566086941 hasLocation W15660869411 @default.
- W1566086941 hasLocation W15660869412 @default.
- W1566086941 hasOpenAccess W1566086941 @default.
- W1566086941 hasPrimaryLocation W15660869411 @default.
- W1566086941 hasRelatedWork W1546588633 @default.
- W1566086941 hasRelatedWork W1566086941 @default.
- W1566086941 hasRelatedWork W19720440 @default.
- W1566086941 hasRelatedWork W2021230879 @default.
- W1566086941 hasRelatedWork W2033005483 @default.
- W1566086941 hasRelatedWork W2364921833 @default.
- W1566086941 hasRelatedWork W2625856576 @default.
- W1566086941 hasRelatedWork W2885626945 @default.
- W1566086941 hasRelatedWork W4313533643 @default.
- W1566086941 hasRelatedWork W4376123179 @default.
- W1566086941 isParatext "false" @default.
- W1566086941 isRetracted "false" @default.
- W1566086941 magId "1566086941" @default.
- W1566086941 workType "book-chapter" @default.