Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110580169> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2110580169 endingPage "98" @default.
- W2110580169 startingPage "76" @default.
- W2110580169 abstract "Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to systematically exercise all the behaviors of a program. The main contribution of this paper is a general model for reachability testing. This model allows reachability testing to be applied to many different types of concurrent programs, including asynchronous and synchronous message passing programs, and shared-memory programs that use semaphores, locks, and monitors. We define a common format for execution traces and present timestamp assignment schemes for identifying races and computing race variants, which are a crucial part of reachability testing. Finally, we discuss a prototype reachability testing tool, called RichTest, and present some empirical results." @default.
- W2110580169 created "2016-06-24" @default.
- W2110580169 creator A5060631912 @default.
- W2110580169 creator A5075163100 @default.
- W2110580169 date "2004-01-01" @default.
- W2110580169 modified "2023-09-23" @default.
- W2110580169 title "A General Model for Reachability Testing of Concurrent Programs" @default.
- W2110580169 cites W1601028213 @default.
- W2110580169 cites W1822408081 @default.
- W2110580169 cites W1971849938 @default.
- W2110580169 cites W1972544179 @default.
- W2110580169 cites W2013296041 @default.
- W2110580169 cites W2040060046 @default.
- W2110580169 cites W2043292640 @default.
- W2110580169 cites W2065675749 @default.
- W2110580169 cites W2095600927 @default.
- W2110580169 cites W2109691981 @default.
- W2110580169 cites W2131774441 @default.
- W2110580169 cites W2135274583 @default.
- W2110580169 cites W2139378910 @default.
- W2110580169 cites W2140116462 @default.
- W2110580169 cites W3137220996 @default.
- W2110580169 doi "https://doi.org/10.1007/978-3-540-30482-1_14" @default.
- W2110580169 hasPublicationYear "2004" @default.
- W2110580169 type Work @default.
- W2110580169 sameAs 2110580169 @default.
- W2110580169 citedByCount "26" @default.
- W2110580169 countsByYear W21105801692012 @default.
- W2110580169 countsByYear W21105801692013 @default.
- W2110580169 countsByYear W21105801692014 @default.
- W2110580169 countsByYear W21105801692015 @default.
- W2110580169 countsByYear W21105801692018 @default.
- W2110580169 crossrefType "book-chapter" @default.
- W2110580169 hasAuthorship W2110580169A5060631912 @default.
- W2110580169 hasAuthorship W2110580169A5075163100 @default.
- W2110580169 hasConcept C136643341 @default.
- W2110580169 hasConcept C149091818 @default.
- W2110580169 hasConcept C151319957 @default.
- W2110580169 hasConcept C162443782 @default.
- W2110580169 hasConcept C186846655 @default.
- W2110580169 hasConcept C199360897 @default.
- W2110580169 hasConcept C2777904410 @default.
- W2110580169 hasConcept C31258907 @default.
- W2110580169 hasConcept C41008148 @default.
- W2110580169 hasConcept C80444323 @default.
- W2110580169 hasConcept C95203288 @default.
- W2110580169 hasConceptScore W2110580169C136643341 @default.
- W2110580169 hasConceptScore W2110580169C149091818 @default.
- W2110580169 hasConceptScore W2110580169C151319957 @default.
- W2110580169 hasConceptScore W2110580169C162443782 @default.
- W2110580169 hasConceptScore W2110580169C186846655 @default.
- W2110580169 hasConceptScore W2110580169C199360897 @default.
- W2110580169 hasConceptScore W2110580169C2777904410 @default.
- W2110580169 hasConceptScore W2110580169C31258907 @default.
- W2110580169 hasConceptScore W2110580169C41008148 @default.
- W2110580169 hasConceptScore W2110580169C80444323 @default.
- W2110580169 hasConceptScore W2110580169C95203288 @default.
- W2110580169 hasLocation W21105801691 @default.
- W2110580169 hasOpenAccess W2110580169 @default.
- W2110580169 hasPrimaryLocation W21105801691 @default.
- W2110580169 hasRelatedWork W1494702893 @default.
- W2110580169 hasRelatedWork W1563374799 @default.
- W2110580169 hasRelatedWork W1590106772 @default.
- W2110580169 hasRelatedWork W2110580169 @default.
- W2110580169 hasRelatedWork W2153820379 @default.
- W2110580169 hasRelatedWork W2161341609 @default.
- W2110580169 hasRelatedWork W2378922338 @default.
- W2110580169 hasRelatedWork W381935118 @default.
- W2110580169 hasRelatedWork W193865922 @default.
- W2110580169 hasRelatedWork W2616605556 @default.
- W2110580169 isParatext "false" @default.
- W2110580169 isRetracted "false" @default.
- W2110580169 magId "2110580169" @default.
- W2110580169 workType "book-chapter" @default.