sponsored by IEEE Computer Society Test Technology Technical Council (TTTC), Institute of Computing Technology, Chinese Academy of Sciences ; in cooperation with Technical Committee on Fault Tolerant Computing of CCF, National Natural Science Foundation of China (NSFC). -- IEEE Computer Society, c2007.