82 citations · 133 across the 12 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2019★ 82 cited
Boosting Operational DNN Testing Efficiency through Conditioning
Zenan Li, Xiaoxing Ma, Chang Xu +3
With the increasing adoption of Deep Neural Network (DNN) models as integral parts of software systems, efficient operational testing of DNNs is much in demand to ensure these mode…
cs.SE2018★ 2 cited
CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software
Yi Qin, Tao Xie, Chang Xu +2
Cyber-physical software continually interacts with its physical environment for adaptation in order to deliver smart services. However, the interactions can be subject to various e…
cs.SE2009★ 7 cited
Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments
Yu Huang, Jianping Yu, Jiannong Cao +3
Context consistency checking, the checking of specified constraint on properties of contexts, is essential to context-aware applications. In order to delineate and adapt to dynamic…