1 Checking safety properties using compositional reachability analysis
来源：ACM T SOFTW ENG METH( P 1049-331X E 1557-7392 ) 发表时间: 1999/01
类型：期刊论文 为本人加分：4890.272364
2 Partial Constraint Checking for Context Consistency in Pervasive Computing
来源：ACM T SOFTW ENG METH( P 1049-331X E 1557-7392 ) 发表时间: 2010/01
类型：期刊论文 为本人加分：3536.259150
3 Automated test case generation for the stress testing of multimedia systems
来源：SOFTWARE PRACT EXPER( P 0038-0644 E 1097-024X ) 发表时间: 2002/12
类型：期刊论文 为本人加分：3378.494394
4 tractable data-flow analysis for distributed systems
来源：IEEE T SOFTWARE ENG( P 0098-5589 E 1939-3520 ) 发表时间: 1994/08
类型：期刊论文 为本人加分：2750.860588
5 ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection
来源：IEEE T SERV COMPUT( P 1939-1374 E ) 发表时间: 2020/03
类型：期刊论文 为本人加分：2382.017259
6 Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems
来源：IEEE J SEL AREA COMM( P 0733-8716 E 1558-0008 ) 发表时间: 2011/09
类型：期刊论文 为本人加分：1590.807172
7 A survey on dependability improvement techniques for pervasive computing systems
来源：SCI CHINA INFORM SCI( P 1674-733X E 1869-1919 ) 发表时间: 2015/05
类型：期刊论文 为本人加分：1589.713899
8 GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
来源：IEEE T SOFTWARE ENG( P 0098-5589 E 1939-3520 ) 发表时间: 2014/09
类型：期刊论文 为本人加分：1219.143362
9 To what extent do DNN-based image classification models make unreliable inferences?
来源：EMPIR SOFTW ENG( P 1382-3256 E 1573-7616 ) 发表时间: 2021/09
类型：期刊论文 为本人加分：1162.748350
10 Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps
来源：IEEE T SOFTWARE ENG( P 0098-5589 E 1939-3520 ) 发表时间: 2020/11
类型：期刊论文 为本人加分：1134.096267