A 'crystal ball' for software liability

Computer

Volumn 30, Issue 6, 1997, Pages 29-36

  Voas, Jeffrey ^a,b,d,e   McGraw, Gary ^a,e,f,g   Kassab, Lora ^a,b,h   Voas, Larry ^c,i,j  

^a Cigital   (United States)

^b The College of William and Mary   (United States)

^c Northwestern Mutual Life Insurance Company   (United States)

^d DEFENSE ADVANCED RESEARCH PROJECTS AGENCY   (United States)

^e IEEE   (Slovenia)

^f NATIONAL SCIENCE FOUNDATION   (United States)

^g INDIANA UNIVERSITY   (United States)

^h NAVAL RESEARCH LABORATORY   (United States)

ⁱ Northwestern Mutual Life   (United States)

^j AMERICAN UNIVERSITY   (United States)

more..

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012290395     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.587545     Document Type: Article

References (12)

1. Data Processing Services Inc. v. L.H. Smith Oil Corp., 492 N.E. 2d 314 (Ind. App. 1986).
2. J.L. Lions, "Ariane 5 Flight 501 Failure: Report of the Inquiry Board," Paris, July 19, 1996, http://www.esrin. esa.it/htdocs/tidc/Press/Press96/ariane5rep.html.
3. J. Arlat et al., "Fault Injection for Dependability Validation: A Methodology and Some Applications," IEEE Trans. Software Eng., Feb. 1990, pp. 166-182.
4. J.A. Clark and D.K. Pradhan, "Fault Injection: A Method for Validating Computer-System Dependability," Computer, June 1995, pp. 47-56.
5. R.A. DeMillo, R.J. Lipton, and F.G. Sayward, "Hints on Test Data Selection: Help for the Practicing Programmer," Computer, Apr. 1978, pp. 34-41.
6. J.A. Solheim and J.H. Rowland, "An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems," IEEE Trans. Software Eng., Oct. 1993, pp. 941-949.
7. R.A. DeMillo and A.J. Offutt, "Constraint-Based Automatic Test Data Generation," IEEE Trans. Software Eng., Sept. 1991, pp. 900-910.
8. J. Voas, "PIE: A Dynamic Failure-Based Technique," IEEE Trans. Software Eng., Aug. 1992, pp. 717-727.
9. C.C. Michael, "On the Regularity of Error Propagation in Software," Tech. Report RSTR-96-003-04, Reliable Software Technologies Corp., Sterling, Va., 1996.
10. M. Daran and P. Thevenod-Fosse, "Software Error Analysis: A Real Case Study Involving Real Faults and Mutations," Proc. ACM SIGSoft ISSTA 95, ACM, New York, 1995, pp. 158-171.
11. J. Voas and K. Miller, "Predicting Software's Minimum-Time-to-Hazard and Mean-Time-to-Hazard for Rare Input Events," Proc. Sixth Int'l Symp. Software Reliability Engineering, IEEE CS Press, Los Alamitos, Calif., 1995, pp. 229-238.
12. J. Voas and F. Charron, Error Propagation Analysis Studies in a Nuclear Research Code, Tech. Report RSTR-97-002-02, Reliable Software Technologies, Sterling, Va., 1997.