Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013296041> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2013296041 endingPage "510" @default.
- W2013296041 startingPage "493" @default.
- W2013296041 abstract "Concurrent programs are more difficult to test than sequential programs because of non-deterministic behavior. An execution of a concurrent program non-deterministically exercises a sequence of synchronization events called a synchronization sequence (or SYN-sequence). Non-deterministic testing of a concurrent program P is to execute P with a given input many times in order to exercise distinct SYN-sequences. In this paper, we present a new testing approach called reachability testing. If every execution of P with input X terminates, reachability testing of P with input X derives and executes all possible SYN-sequences of P with input X. We show how to perform reachability testing of concurrent programs using read and write operations. Also, we present results of empirical studies comparing reachability and non-deterministic testing. Our results indicate that reachability testing has advantages over non-deterministic testing." @default.
- W2013296041 created "2016-06-24" @default.
- W2013296041 creator A5036614797 @default.
- W2013296041 creator A5068327969 @default.
- W2013296041 creator A5078336365 @default.
- W2013296041 date "1995-12-01" @default.
- W2013296041 modified "2023-10-12" @default.
- W2013296041 title "REACHABILITY TESTING: AN APPROACH TO TESTING CONCURRENT SOFTWARE" @default.
- W2013296041 doi "https://doi.org/10.1142/s0218194095000241" @default.
- W2013296041 hasPublicationYear "1995" @default.
- W2013296041 type Work @default.
- W2013296041 sameAs 2013296041 @default.
- W2013296041 citedByCount "64" @default.
- W2013296041 countsByYear W20132960412012 @default.
- W2013296041 countsByYear W20132960412013 @default.
- W2013296041 countsByYear W20132960412014 @default.
- W2013296041 countsByYear W20132960412015 @default.
- W2013296041 countsByYear W20132960412016 @default.
- W2013296041 countsByYear W20132960412017 @default.
- W2013296041 countsByYear W20132960412022 @default.
- W2013296041 crossrefType "journal-article" @default.
- W2013296041 hasAuthorship W2013296041A5036614797 @default.
- W2013296041 hasAuthorship W2013296041A5068327969 @default.
- W2013296041 hasAuthorship W2013296041A5078336365 @default.
- W2013296041 hasConcept C105795698 @default.
- W2013296041 hasConcept C11413529 @default.
- W2013296041 hasConcept C127162648 @default.
- W2013296041 hasConcept C136643341 @default.
- W2013296041 hasConcept C149091818 @default.
- W2013296041 hasConcept C158324730 @default.
- W2013296041 hasConcept C178059732 @default.
- W2013296041 hasConcept C186846655 @default.
- W2013296041 hasConcept C188598960 @default.
- W2013296041 hasConcept C199360897 @default.
- W2013296041 hasConcept C2777904410 @default.
- W2013296041 hasConcept C2778112365 @default.
- W2013296041 hasConcept C2778562939 @default.
- W2013296041 hasConcept C31258907 @default.
- W2013296041 hasConcept C33923547 @default.
- W2013296041 hasConcept C41008148 @default.
- W2013296041 hasConcept C51234621 @default.
- W2013296041 hasConcept C54355233 @default.
- W2013296041 hasConcept C80444323 @default.
- W2013296041 hasConcept C80823478 @default.
- W2013296041 hasConcept C86803240 @default.
- W2013296041 hasConceptScore W2013296041C105795698 @default.
- W2013296041 hasConceptScore W2013296041C11413529 @default.
- W2013296041 hasConceptScore W2013296041C127162648 @default.
- W2013296041 hasConceptScore W2013296041C136643341 @default.
- W2013296041 hasConceptScore W2013296041C149091818 @default.
- W2013296041 hasConceptScore W2013296041C158324730 @default.
- W2013296041 hasConceptScore W2013296041C178059732 @default.
- W2013296041 hasConceptScore W2013296041C186846655 @default.
- W2013296041 hasConceptScore W2013296041C188598960 @default.
- W2013296041 hasConceptScore W2013296041C199360897 @default.
- W2013296041 hasConceptScore W2013296041C2777904410 @default.
- W2013296041 hasConceptScore W2013296041C2778112365 @default.
- W2013296041 hasConceptScore W2013296041C2778562939 @default.
- W2013296041 hasConceptScore W2013296041C31258907 @default.
- W2013296041 hasConceptScore W2013296041C33923547 @default.
- W2013296041 hasConceptScore W2013296041C41008148 @default.
- W2013296041 hasConceptScore W2013296041C51234621 @default.
- W2013296041 hasConceptScore W2013296041C54355233 @default.
- W2013296041 hasConceptScore W2013296041C80444323 @default.
- W2013296041 hasConceptScore W2013296041C80823478 @default.
- W2013296041 hasConceptScore W2013296041C86803240 @default.
- W2013296041 hasIssue "04" @default.
- W2013296041 hasLocation W20132960411 @default.
- W2013296041 hasOpenAccess W2013296041 @default.
- W2013296041 hasPrimaryLocation W20132960411 @default.
- W2013296041 hasRelatedWork W1996935098 @default.
- W2013296041 hasRelatedWork W2013296041 @default.
- W2013296041 hasRelatedWork W2040434142 @default.
- W2013296041 hasRelatedWork W2061322046 @default.
- W2013296041 hasRelatedWork W2183285418 @default.
- W2013296041 hasRelatedWork W2186644673 @default.
- W2013296041 hasRelatedWork W2376559135 @default.
- W2013296041 hasRelatedWork W2886756146 @default.
- W2013296041 hasRelatedWork W2955592476 @default.
- W2013296041 hasRelatedWork W1553440939 @default.
- W2013296041 hasVolume "05" @default.
- W2013296041 isParatext "false" @default.
- W2013296041 isRetracted "false" @default.
- W2013296041 magId "2013296041" @default.
- W2013296041 workType "article" @default.