supported by the National Natural Science Foundation of China(Project No.61472338,61332010);Guangdong Natural Science Foundation(Project No. 2014A030313151);the Fundamental Research Funds for the Central Universities;the Research Grants Council of the Hong Kong Special Administrative Region,China (No.415113)
The open and dynamic environment of Internet computing demands new software reliability technologies.How to efficiently and effectively build highly reliable Internet applications becomes a critical research problem.T...