FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016018636> ?p ?o ?g. }

• W2016018636 endingPage "1323" @default.
• W2016018636 startingPage "1294" @default.
• W2016018636 abstract "Concurrent programs exhibit nondeterministic behavior in that multiple executions thereof with the same input might produce different sequences of synchronization events and different results. This is because different executions of a concurrent program with the same input may exhibit different interleavings. Thus, one of the major issues in the testing of concurrent programs is how to explore different interleavings or exhaust all the possible interleavings of the target programs. However, for terminating concurrent programs that have cyclic state spaces due to using iterative statements such as busy-waiting loops, they might have an infinite number of feasible synchronization sequences; that is, there is an infinite number of possible interleavings, which makes it impossible to explore all the possible interleavings for this type of concurrent program. To overcome this problem, we propose a testing scheme called dynamic effective testing that can perform state-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences. Dynamic effective testing does not require static analysis of the target concurrent program or the assistance of a model checker, and thus is loosely coupled to the syntax of the target concurrent program. It only needs to analyze sequences of synchronization events produced by the execution of the concurrent programs for race detection and state-traversal control. Therefore, the method is easy to port to different programming languages. In addition, only reiterated states discovered in a single SYN-sequence need to be stored. The implementation and experimental results obtained with real code demonstrate that source-code-level dynamic testing can be systematically performed on nondeterministic concurrent programs with infinite synchronization sequences." @default.
• W2016018636 created "2016-06-24" @default.
• W2016018636 creator A5014988904 @default.
• W2016018636 creator A5022710794 @default.
• W2016018636 date "2013-09-01" @default.
• W2016018636 modified "2023-09-23" @default.
• W2016018636 title "State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences" @default.
• W2016018636 cites W1520324981 @default.
• W2016018636 cites W1566086941 @default.
• W2016018636 cites W1736523621 @default.
• W2016018636 cites W1862182621 @default.
• W2016018636 cites W1868584616 @default.
• W2016018636 cites W1877496576 @default.
• W2016018636 cites W1893845610 @default.
• W2016018636 cites W1981298033 @default.
• W2016018636 cites W1989884524 @default.
• W2016018636 cites W1990553077 @default.
• W2016018636 cites W1997816298 @default.
• W2016018636 cites W2013296041 @default.
• W2016018636 cites W2016167891 @default.
• W2016018636 cites W2016314068 @default.
• W2016018636 cites W2016671287 @default.
• W2016018636 cites W2034058877 @default.
• W2016018636 cites W2035650034 @default.
• W2016018636 cites W2036267700 @default.
• W2016018636 cites W2049461947 @default.
• W2016018636 cites W2052745961 @default.
• W2016018636 cites W2063123613 @default.
• W2016018636 cites W2095600927 @default.
• W2016018636 cites W2101512909 @default.
• W2016018636 cites W2104537058 @default.
• W2016018636 cites W2112678128 @default.
• W2016018636 cites W2124621264 @default.
• W2016018636 cites W2131774441 @default.
• W2016018636 cites W2135948849 @default.
• W2016018636 cites W2136398749 @default.
• W2016018636 cites W2137794364 @default.
• W2016018636 cites W2141981779 @default.
• W2016018636 cites W2147670945 @default.
• W2016018636 cites W2149843953 @default.
• W2016018636 cites W2154266022 @default.
• W2016018636 cites W2155631825 @default.
• W2016018636 cites W2158124716 @default.
• W2016018636 cites W2169870841 @default.
• W2016018636 cites W2172035080 @default.
• W2016018636 cites W3137220996 @default.
• W2016018636 cites W4232744885 @default.
• W2016018636 cites W4233615561 @default.
• W2016018636 cites W4236709753 @default.
• W2016018636 doi "https://doi.org/10.1016/j.scico.2012.06.005" @default.
• W2016018636 hasPublicationYear "2013" @default.
• W2016018636 type Work @default.
• W2016018636 sameAs 2016018636 @default.
• W2016018636 citedByCount "6" @default.
• W2016018636 countsByYear W20160186362014 @default.
• W2016018636 countsByYear W20160186362015 @default.
• W2016018636 countsByYear W20160186362016 @default.
• W2016018636 countsByYear W20160186362017 @default.
• W2016018636 countsByYear W20160186362020 @default.
• W2016018636 crossrefType "journal-article" @default.
• W2016018636 hasAuthorship W2016018636A5014988904 @default.
• W2016018636 hasAuthorship W2016018636A5022710794 @default.
• W2016018636 hasBestOaLocation W20160186361 @default.
• W2016018636 hasConcept C127162648 @default.
• W2016018636 hasConcept C159333733 @default.
• W2016018636 hasConcept C173608175 @default.
• W2016018636 hasConcept C176181172 @default.
• W2016018636 hasConcept C193702766 @default.
• W2016018636 hasConcept C199360897 @default.
• W2016018636 hasConcept C2778562939 @default.
• W2016018636 hasConcept C31258907 @default.
• W2016018636 hasConcept C41008148 @default.
• W2016018636 hasConcept C48103436 @default.
• W2016018636 hasConcept C80444323 @default.
• W2016018636 hasConceptScore W2016018636C127162648 @default.
• W2016018636 hasConceptScore W2016018636C159333733 @default.
• W2016018636 hasConceptScore W2016018636C173608175 @default.
• W2016018636 hasConceptScore W2016018636C176181172 @default.
• W2016018636 hasConceptScore W2016018636C193702766 @default.
• W2016018636 hasConceptScore W2016018636C199360897 @default.
• W2016018636 hasConceptScore W2016018636C2778562939 @default.
• W2016018636 hasConceptScore W2016018636C31258907 @default.
• W2016018636 hasConceptScore W2016018636C41008148 @default.
• W2016018636 hasConceptScore W2016018636C48103436 @default.
• W2016018636 hasConceptScore W2016018636C80444323 @default.
• W2016018636 hasIssue "9" @default.
• W2016018636 hasLocation W20160186361 @default.
• W2016018636 hasOpenAccess W2016018636 @default.
• W2016018636 hasPrimaryLocation W20160186361 @default.
• W2016018636 hasRelatedWork W1666418873 @default.
• W2016018636 hasRelatedWork W1934456451 @default.
• W2016018636 hasRelatedWork W2021320977 @default.
• W2016018636 hasRelatedWork W2057057011 @default.
• W2016018636 hasRelatedWork W2105856903 @default.
• W2016018636 hasRelatedWork W2126433397 @default.
• W2016018636 hasRelatedWork W4206956498 @default.
• W2016018636 hasRelatedWork W4232974719 @default.
• W2016018636 hasRelatedWork W4241481410 @default.

• next