A fault injection approach based on operational profile

Authors:
Fanping Zeng;Juan Li;Ling Li;Xufa Wang
Affiliations:
Department of Computer, University of Science and Technology of China and Anhui Province Key Lab of Software in Computer and Communication, Hefei, Anhui, PR China;Department of Computer University of Science and Technology of China, Hefei, Anhui, PR China;Department of Computer University of Science and Technology of China, Hefei, Anhui, PR China;Department of Computer, University of Science and Technology of China and Anhui Province Key Lab of Software in Computer and Communication, Hefei, Anhui, PR China
Venue:
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Year:
2009

Citing 4
Cited 0

Toward a More Reliable Theory of Software Reliability

Computer
Testing of fault-tolerant and real-time distributed systems via protocol fault injection

FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Using fault injection to increase software test coverage

ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Enhancing Fault Injection Testbench

DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...