Predictive analysis for race detection in software-defined networks
Sign Up to like & getrecommendations! Published in 2018 at "Science China Information Sciences"
DOI: 10.1007/s11432-018-9826-x
Abstract: Race condition remains one kind of the most common concurrency bugs in software-defined networks (SDNs). The race conditions can be exploited to lead to security and reliability risks. However, the race conditions are notoriously difficult… read more here.
Keywords: detection; framework; race detection; predictive analysis ... See more keywords
RaceTest: harmful data race detection based on testing technology in WS-BPEL
Sign Up to like & getrecommendations! Published in 2019 at "Service Oriented Computing and Applications"
DOI: 10.1007/s11761-019-00261-1
Abstract: AbstractWeb service composition is widely used nowadays, and it is realized by Web Service-Business Process Execution Language (WS-BPEL). WS-BPEL provides concurrency mechanisms so that data races commonly occur within it. Some researchers have focus on… read more here.
Keywords: harmful data; data races; race detection; data race ... See more keywords
Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Parallel and Distributed Systems"
DOI: 10.1109/tpds.2018.2836899
Abstract: Most of dynamic data race detection essentially relies on the underlying happens-before orders to yield the precise reports. They are notoriously prone to a prohibitively basic overhead. Although there exist a wealth of research advances… read more here.
Keywords: intensive programs; lock intensive; pending period; race detection ... See more keywords
SDA-CLOUD: A Multi-VM Architecture for Adaptive Dynamic Data Race Detection
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Services Computing"
DOI: 10.1109/tsc.2016.2596288
Abstract: A concrete service consists of a number of program components, each of which is integrated to the service at either design time or runtime. In testing a concrete service, testers should validate the correctness of… read more here.
Keywords: detection; race detection; dynamic data; service ... See more keywords