Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140021461> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2140021461 abstract "P. Godefroid (1997) developed a state-space exploration technique that does not store states in memory. This stateless search technique is effective for testing concurrent programs. It performs deterministic executions of a concurrent program by automatically controlling the execution of synchronization operations. This technique also uses partial order reduction methods to reduce the chance of executing two or more different totally-ordered paths with the same partial order. In this paper, we propose extensions to Godefroid's technique and compare it with other stateless search techniques for testing concurrent programs. Our empirical results indicate that a combination of stateless searching and a simple cycle prediction method is very cost-effective for detecting deadlocks and violations of assertions." @default.
- W2140021461 created "2016-06-24" @default.
- W2140021461 creator A5078336365 @default.
- W2140021461 creator A5086470518 @default.
- W2140021461 date "2002-11-13" @default.
- W2140021461 modified "2023-09-24" @default.
- W2140021461 title "On Godefroid's state-less search technique for testing concurrent programs" @default.
- W2140021461 cites W1579910157 @default.
- W2140021461 cites W1997816298 @default.
- W2140021461 cites W2011597911 @default.
- W2140021461 cites W2013296041 @default.
- W2140021461 cites W2032493687 @default.
- W2140021461 cites W2042913560 @default.
- W2140021461 cites W2043292640 @default.
- W2140021461 cites W2048164876 @default.
- W2140021461 cites W2062858138 @default.
- W2140021461 cites W2065675749 @default.
- W2140021461 cites W2093709900 @default.
- W2140021461 cites W2099198134 @default.
- W2140021461 cites W2102121721 @default.
- W2140021461 cites W2115309705 @default.
- W2140021461 cites W2120281865 @default.
- W2140021461 cites W2149313960 @default.
- W2140021461 cites W2154862821 @default.
- W2140021461 cites W2167990600 @default.
- W2140021461 cites W2340735175 @default.
- W2140021461 cites W2913459036 @default.
- W2140021461 cites W2527288790 @default.
- W2140021461 doi "https://doi.org/10.1109/isads.2001.917397" @default.
- W2140021461 hasPublicationYear "2002" @default.
- W2140021461 type Work @default.
- W2140021461 sameAs 2140021461 @default.
- W2140021461 citedByCount "1" @default.
- W2140021461 crossrefType "proceedings-article" @default.
- W2140021461 hasAuthorship W2140021461A5078336365 @default.
- W2140021461 hasAuthorship W2140021461A5086470518 @default.
- W2140021461 hasConcept C103613024 @default.
- W2140021461 hasConcept C110251889 @default.
- W2140021461 hasConcept C111335779 @default.
- W2140021461 hasConcept C11413529 @default.
- W2140021461 hasConcept C120314980 @default.
- W2140021461 hasConcept C127162648 @default.
- W2140021461 hasConcept C173608175 @default.
- W2140021461 hasConcept C193702766 @default.
- W2140021461 hasConcept C2524010 @default.
- W2140021461 hasConcept C2778562939 @default.
- W2140021461 hasConcept C31258907 @default.
- W2140021461 hasConcept C33923547 @default.
- W2140021461 hasConcept C41008148 @default.
- W2140021461 hasConcept C48103436 @default.
- W2140021461 hasConcept C80444323 @default.
- W2140021461 hasConcept C94633896 @default.
- W2140021461 hasConceptScore W2140021461C103613024 @default.
- W2140021461 hasConceptScore W2140021461C110251889 @default.
- W2140021461 hasConceptScore W2140021461C111335779 @default.
- W2140021461 hasConceptScore W2140021461C11413529 @default.
- W2140021461 hasConceptScore W2140021461C120314980 @default.
- W2140021461 hasConceptScore W2140021461C127162648 @default.
- W2140021461 hasConceptScore W2140021461C173608175 @default.
- W2140021461 hasConceptScore W2140021461C193702766 @default.
- W2140021461 hasConceptScore W2140021461C2524010 @default.
- W2140021461 hasConceptScore W2140021461C2778562939 @default.
- W2140021461 hasConceptScore W2140021461C31258907 @default.
- W2140021461 hasConceptScore W2140021461C33923547 @default.
- W2140021461 hasConceptScore W2140021461C41008148 @default.
- W2140021461 hasConceptScore W2140021461C48103436 @default.
- W2140021461 hasConceptScore W2140021461C80444323 @default.
- W2140021461 hasConceptScore W2140021461C94633896 @default.
- W2140021461 hasLocation W21400214611 @default.
- W2140021461 hasOpenAccess W2140021461 @default.
- W2140021461 hasPrimaryLocation W21400214611 @default.
- W2140021461 hasRelatedWork W1481985818 @default.
- W2140021461 hasRelatedWork W1496981308 @default.
- W2140021461 hasRelatedWork W1565546946 @default.
- W2140021461 hasRelatedWork W1712159556 @default.
- W2140021461 hasRelatedWork W1719093023 @default.
- W2140021461 hasRelatedWork W1976695554 @default.
- W2140021461 hasRelatedWork W2036316394 @default.
- W2140021461 hasRelatedWork W20384937 @default.
- W2140021461 hasRelatedWork W2101990169 @default.
- W2140021461 hasRelatedWork W2105980774 @default.
- W2140021461 hasRelatedWork W2131123849 @default.
- W2140021461 hasRelatedWork W2157888439 @default.
- W2140021461 hasRelatedWork W2165422215 @default.
- W2140021461 hasRelatedWork W2556273741 @default.
- W2140021461 hasRelatedWork W2898646137 @default.
- W2140021461 hasRelatedWork W2921244879 @default.
- W2140021461 hasRelatedWork W2952311150 @default.
- W2140021461 hasRelatedWork W2990289481 @default.
- W2140021461 hasRelatedWork W3157506508 @default.
- W2140021461 hasRelatedWork W90337718 @default.
- W2140021461 isParatext "false" @default.
- W2140021461 isRetracted "false" @default.
- W2140021461 magId "2140021461" @default.
- W2140021461 workType "article" @default.