Acknowledgements This work was supported by the National Natural Science Foundation of China (Grant No. 61370058) and the Project of the State Key Laboratory of Software Development Environment (SKLSDE-2014ZX- 17), China.
Various redundancy tactics can be modeled at the design stage of safety-critical systems thereby providing a set of fault-tolerance guidelines for subsequent development activities. However, existing approaches usuall...
Points-to analysis is a static code analysis tech- nique that establishes the relationships between variables of references and allocated objects. A number of points-to analysis algorithms have been proposed for proce...