Matches in SemOpenAlex for { <https://semopenalex.org/work/W3039223325> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3039223325 endingPage "74" @default.
- W3039223325 startingPage "54" @default.
- W3039223325 abstract "The software community has recognized the importance of concurrent multithreaded software and the criticality of concurrency bugs. However, it has still not fully acknowledged the complexity of the process for finding these bugs. When based on execution monitoring, the process includes tracing of the software execution, specification of concurrency bug models, modeling of synchronization mechanism patterns, and several other process steps and components. Existing approaches, however, focus only on the parts of the process for finding concurrency bugs (PFCB) and fail to notice their inter-dependencies, which affect the analysis outcome. Without a proper understanding of these inter-dependencies, the advances in this research area remain partially incremental and limited to specific use cases. In order to better understand this problem, we provide a model of a generic process for finding concurrency bugs (PFCB) and a framework for the critical assessment of execution-monitoring-based approaches for finding concurrency bugs (FERA). Our framework captures the inter-dependencies between the individual PFCB steps and establishes the relation between these inter-dependencies and the final outcome of the monitoring. The FERA framework is suitable for assessing the suitability of approaches for finding concurrency bugs, for specific software systems (e.g., with specific synchronization properties). With this paper, we demonstrate that finding concurrency bugs is not an isolated action consisting of applying an algorithm to an execution trace, but rather a continuous engineering process." @default.
- W3039223325 created "2020-07-10" @default.
- W3039223325 creator A5005243362 @default.
- W3039223325 creator A5010739613 @default.
- W3039223325 creator A5014577271 @default.
- W3039223325 creator A5015819585 @default.
- W3039223325 creator A5059285190 @default.
- W3039223325 date "2020-01-01" @default.
- W3039223325 modified "2023-09-24" @default.
- W3039223325 title "FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs" @default.
- W3039223325 cites W1538199946 @default.
- W3039223325 cites W1558971024 @default.
- W3039223325 cites W159494641 @default.
- W3039223325 cites W1784984667 @default.
- W3039223325 cites W1878496083 @default.
- W3039223325 cites W1971059059 @default.
- W3039223325 cites W1972544179 @default.
- W3039223325 cites W1982125317 @default.
- W3039223325 cites W1999075586 @default.
- W3039223325 cites W2002222606 @default.
- W3039223325 cites W2003881653 @default.
- W3039223325 cites W2016208194 @default.
- W3039223325 cites W2027299852 @default.
- W3039223325 cites W2036093091 @default.
- W3039223325 cites W2054739713 @default.
- W3039223325 cites W2073256416 @default.
- W3039223325 cites W2078392024 @default.
- W3039223325 cites W2101431901 @default.
- W3039223325 cites W2107089133 @default.
- W3039223325 cites W2113027907 @default.
- W3039223325 cites W2131791649 @default.
- W3039223325 cites W2143869535 @default.
- W3039223325 cites W2233387800 @default.
- W3039223325 cites W2293861537 @default.
- W3039223325 cites W2466114212 @default.
- W3039223325 cites W2531090983 @default.
- W3039223325 cites W2591823109 @default.
- W3039223325 cites W2798274108 @default.
- W3039223325 cites W2899619977 @default.
- W3039223325 cites W2899973748 @default.
- W3039223325 cites W2908603631 @default.
- W3039223325 cites W2943304921 @default.
- W3039223325 cites W3008756550 @default.
- W3039223325 cites W3009177928 @default.
- W3039223325 cites W3009678450 @default.
- W3039223325 cites W4233730906 @default.
- W3039223325 cites W4234684466 @default.
- W3039223325 cites W4238664327 @default.
- W3039223325 cites W4239035626 @default.
- W3039223325 cites W4253120409 @default.
- W3039223325 doi "https://doi.org/10.1007/978-3-030-52249-0_5" @default.
- W3039223325 hasPublicationYear "2020" @default.
- W3039223325 type Work @default.
- W3039223325 sameAs 3039223325 @default.
- W3039223325 citedByCount "1" @default.
- W3039223325 countsByYear W30392233252022 @default.
- W3039223325 crossrefType "book-chapter" @default.
- W3039223325 hasAuthorship W3039223325A5005243362 @default.
- W3039223325 hasAuthorship W3039223325A5010739613 @default.
- W3039223325 hasAuthorship W3039223325A5014577271 @default.
- W3039223325 hasAuthorship W3039223325A5015819585 @default.
- W3039223325 hasAuthorship W3039223325A5059285190 @default.
- W3039223325 hasConcept C115903868 @default.
- W3039223325 hasConcept C193702766 @default.
- W3039223325 hasConcept C199360897 @default.
- W3039223325 hasConcept C41008148 @default.
- W3039223325 hasConceptScore W3039223325C115903868 @default.
- W3039223325 hasConceptScore W3039223325C193702766 @default.
- W3039223325 hasConceptScore W3039223325C199360897 @default.
- W3039223325 hasConceptScore W3039223325C41008148 @default.
- W3039223325 hasLocation W30392233251 @default.
- W3039223325 hasOpenAccess W3039223325 @default.
- W3039223325 hasPrimaryLocation W30392233251 @default.
- W3039223325 hasRelatedWork W1535940442 @default.
- W3039223325 hasRelatedWork W1557800075 @default.
- W3039223325 hasRelatedWork W1589913369 @default.
- W3039223325 hasRelatedWork W1590185363 @default.
- W3039223325 hasRelatedWork W2083338789 @default.
- W3039223325 hasRelatedWork W2151898527 @default.
- W3039223325 hasRelatedWork W2788685475 @default.
- W3039223325 hasRelatedWork W2808750505 @default.
- W3039223325 hasRelatedWork W3150606594 @default.
- W3039223325 hasRelatedWork W4233783224 @default.
- W3039223325 isParatext "false" @default.
- W3039223325 isRetracted "false" @default.
- W3039223325 magId "3039223325" @default.
- W3039223325 workType "book-chapter" @default.