1. Editor’s Note

   • Tao Xie
   • Lu Zhang
   • Jian Lü

   Special Focus on High-Confidence Software Technologies 29 April 2015 Pages: 1 - 2

2. Service fault tolerance for highly reliable service-oriented systems: an overview

   • ZiBin Zheng
   • Michael Rung Tsong Lyu
   • HuaiMin Wang

   Review 08 April 2015 Pages: 1 - 12

3. A survey on dependability improvement techniques for pervasive computing systems

   • WenHua Yang
   • YePang Liu
   • S. C. Cheung

   Review 23 March 2015 Pages: 1 - 14

4. Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems

   • FuTian Wang
   • Xiao Liu
   • Yun Yang

   Review 08 April 2015 Pages: 1 - 16

5. A revisit of three studies related to random testing

   • Tsong Yueh Chen
   • Fei-Ching Kuo
   • Zhi Quan Zhou

   Review 23 March 2015 Pages: 1 - 9

6. Fixing, preventing, and recovering from concurrency bugs

   • DongDong Deng
   • GuoLiang Jin
   • WeiMin Zheng

   Review 10 April 2015 Pages: 1 - 18

7. The essence of bidirectional programming

   • Sebastian Fischer
   • ZhenJiang Hu
   • Hugo Pacheco

   Research Paper 10 April 2015 Pages: 1 - 21

8. Efficient collision attacks on smart card implementations of masked AES

   • An Wang
   • ZongYue Wang
   • LiJi Wu

   Research Paper 07 February 2015 Pages: 1 - 15

9. Improved non-negative tensor Tucker decomposition algorithm for interference hyper-spectral image compression

   • Jia Wen
   • JunSuo Zhao
   • CaiLing Wang

   Research Paper 20 December 2014 Pages: 1 - 9

10. Bayesian mechanism for rational secret sharing scheme

    • YouLiang Tian
    • ChangGen Peng
    • WenJiang Ji

    Research Paper 12 January 2015 Pages: 1 - 13

11. Context-aware local abnormality detection in crowded scene

    • XiaoBin Zhu
    • Xin Jin
    • Lei Wang

    Research Paper 08 April 2015 Pages: 1 - 11

12. Robust low-rank tensor factorization by cyclic weighted median

    • DeYu Meng
    • Biao Zhang
    • ChenQiang Gao

    Research Paper 10 October 2014 Pages: 1 - 11

13. Two new upper bounds of the solution for the continuous algebraic Riccati equation and their application

    • YaPing Xia
    • ChenXiao Cai
    • Yun Zou

    Research Paper 17 September 2014 Pages: 1 - 12

14. Sliding mode decoupling control of a generic hypersonic vehicle based on parametric commands

    • Peng Wang
    • GuoJian Tang
    • Jie Wu

    Research Paper 14 October 2014 Pages: 1 - 14

15. Towards an Esox lucius inspired multimodal robotic fish

    • ZhengXing Wu
    • JunZhi Yu
    • ZhenLong Li

    Research Paper 07 February 2015 Pages: 1 - 13

16. On decoupled or coupled control of bank-to-turn missiles

    • ZhiSheng Duan
    • Lin Huang
    • GuoZheng Qin

    Research Paper 05 February 2015 Pages: 1 - 13

17. Convergence analysis and application of the central force optimization algorithm

    • Chao Meng
    • Jing Gong
    • ZhiXin Sun

    Letter 10 April 2015 Pages: 1 - 3