Can big data bring a breakthrough for software automation? (English)
- New search for: Mei, Hong
- New search for: Zhang, Lu
- New search for: Mei, Hong
- New search for: Zhang, Lu
In:
Science China Information Sciences
;
61
, 5
;
1-3
;
2018
- Article (Journal) / Electronic Resource
-
Title:Can big data bring a breakthrough for software automation?
-
Contributors:
-
Published in:Science China Information Sciences ; 61, 5 ; 1-3
-
Publisher:
- New search for: Science China Press
-
Place of publication:Beijing
-
Publication date:2018-04-09
-
Size:3 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 61, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Formula for computing knots with minimum stress and stretching energiesLi, Xuemei / Zhang, Fan / Chen, Guoning / Zhang, Caiming et al. | 2017
- 1
-
Guaranteed cost boundary control for cluster synchronization of complex spatio-temporal dynamical networks with community structureYang, Chengdong / Cao, Jinde / Huang, Tingwen / Zhang, Jianbao / Qiu, Jianlong et al. | 2017
- 1
-
A lower dimension lattice attack on NTRUYang, Zhichao / Fu, Shaojing / Qu, Longjiang / Li, Chao et al. | 2017
- 1
-
Toward accurate link between code and software documentationCao, Yingkui / Zou, Yanzhen / Luo, Yuxiang / Xie, Bing / Zhao, Junfeng et al. | 2018
- 1
-
Symbolic model checking for discrete real-time systemsLuo, Xiangyu / Wu, Lijun / Chen, Qingliang / Li, Haibo / Zheng, Lixiao / Chen, Zuxi et al. | 2017
- 1
-
Spatial image encryption algorithm based on chaotic map and pixel frequencyYe, Guodong / Huang, Xiaoling et al. | 2017
- 1
-
3D shape co-segmentation via sparse and low rank representationsYin, Liyuan / Guo, Kan / Zhou, Bin / Zhao, Qinping et al. | 2018
- 1
-
LogPruner: detect, analyze and prune logging calls in Android appsZhou, Xin / Wu, Kaidong / Cai, Huaqian / Lou, Shuai / Zhang, Ying / Huang, Gang et al. | 2018
- 1
-
Survey of recent progress in semantic image segmentation with CNNsGeng, Qichuan / Zhou, Zhong / Cao, Xiaochun et al. | 2017
- 1
-
Finger vein recognition based on deformation informationMeng, Xianjing / Xi, Xiaoming / Yang, Gongping / Yin, Yilong et al. | 2017
- 1
-
LR-RRA-CCA secure functional encryption for randomized functionalities from trapdoor HPS and LAFWang, Huige / Chen, Kefei / Qin, Baodong / Hu, Ziyuan et al. | 2017
- 1
-
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applicationsZhang, Haitao / Cheng, Zhuo / Li, Guoqiang / Liu, Shaoying et al. | 2017
- 1
-
Learning dynamic dependency network structure with time lagDu, Sizhen / Song, Guojie / Hong, Haikun / Liu, Dong et al. | 2017
- 1
-
Anti-chain based algorithms for timed/probabilistic refinement checkingWang, Ting / Chen, Tieming / Liu, Yang / Wang, Ye et al. | 2017
- 1
-
Mining API usage change rules for software framework evolutionYu, Ping / Yang, Fei / Cao, Chun / Hu, Hao / Ma, Xiaoxing et al. | 2018
- 1
-
Can big data bring a breakthrough for software automation?Mei, Hong / Zhang, Lu et al. | 2018
- 1
-
Path planning for mobile robot using self-adaptive learning particle swarm optimizationLi, Guangsheng / Chou, Wusheng et al. | 2017
- 1
-
On the structural controllability of distributed systems with local structure changesMu, Jianbin / Li, Shaoyuan / Wu, Jing et al. | 2017
- 1
-
Fingerprint-based access to personally controlled health records in emergency situationsGuan, Shaopeng / Wang, Yongyu / Shen, Jian et al. | 2017
- 1
-
RoboCloud: augmenting robotic visions for open environment modeling using Internet knowledgeLi, Yiying / Wang, Huaimin / Ding, Bo / Zhou, Wei et al. | 2018
- 1
-
New constructions for (multiparty) one-round key exchange with strong securityYang, Zheng / Lai, Junyu et al. | 2017
- 1
-
Situation analytics — at the dawn of a new software engineering paradigmChang, Carl K. et al. | 2018
- 1
-
NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applicationsLiu, Yi / Wang, Jue / Xu, Chang / Ma, Xiaoxing / Lü, Jian et al. | 2018
- 1
-
Personalized project recommendation on GitHubSun, Xiaobing / Xu, Wenyuan / Xia, Xin / Chen, Xiang / Li, Bin et al. | 2018
- 1
-
Modern physiognomy: an investigation on predicting personality traits and intelligence from the human faceQin, Rizhen / Gao, Wei / Xu, Huarong / Hu, Zhanyi et al. | 2017
- 1
-
Non-fragility of multi-agent controllabilityZhao, Bin / Guan, Yongqiang / Wang, Long et al. | 2017
- 1
-
A non-alternate 3D structure and its practical security evaluation against differential and linear cryptanalysisWang, Qian / Jin, Chenhui et al. | 2017
- 1
-
Securely min and k-th min computations with fully homomorphic encryptionJiang, Bingbing / Zhang, Yuan et al. | 2017
- 1
-
IO dependent SSD cache allocation for elastic Hadoop applicationsTang, Zhen / Wang, Wei / Sun, Lei / Huang, Yu / Wu, Heng / Wei, Jun / Huang, Tao et al. | 2018