Sayet C., Pilaud E. "An experience of a critical software development" Proceedings FTCS, pp 36-45, 1990 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Diversity against Accidental and Deliberate Faults - Deswarte, Kanoun, Laprie (1998) (4 citations) (Correct)
....allow different types of faults to be revealed. Static analysis (e.g. walk through, inspection) can be applied to specifications and code and allow detection of a large number of faults before software execution: they could reveal as high as 84 and 95 of faults in the software (see respectively [10, 39]) Testing uncovers faults that static analyses have failed to reveal. Even within testing, diverse methods are recommended: for example it is worth combining functional and structural testing as well as strategies with randomly selected inputs and deterministic inputs. The behavioral analysis ....
C. Sayet and E. Pilaud, "An Experience of a Critical Software Development", Proc. 20th IEEE Int. Symp. on Fault-Tolerant Computing (FTC-20), Newcastle, UK, 1990, pp. 36-45.
Coding Regulations for Safety Critical Software Development - Mazzanti (Correct)
No context found.
Sayet C., Pilaud E. "An experience of a critical software development" Proceedings FTCS, pp 36-45, 1990
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC