290

B. Cukic and F. B. Bastani

Musa, J. D. (1993), "Operational Profiles in Software Reliability Engineering", IEEE Software, Mar. 14-32. Musa, J. D. (1998), Software Reliability Engineering, McGraw Hill. Parnas, D. L., van Schouwen, A. J. and Kwan, S. P. (1990), "Evaluation of Safety-Critical Software", Communications of the ACM 33(6), 636-648. Parnas, D. L., Asmis, G. J. K. and Madey, J. (1991), "Assessment of Safety-Critical Software in Nuclear Power Plants", Nuclear Safety 32(2), 189-198. Ramamoorthy, C. V., Mok, Y. R., Bastani, F. B., Chin, G. H. and Suzuki, K. (1981), "Application of a Methodology for the Development and Validation of Reliable Process-Control Software", IEEE Trans, on Software Engineering SE-7(6), 354371. Ramamoorthy, C. V. and Bastani, F. B. (1982), "Software Reliability-Status and Perspectives", IEEE Trans. Software Eng. SE-8(July), 354-370. Shaw, M. and Garlan, D. (1996), Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall. Thayer, T. A., Lipow, M. and Nelson, E. C. (1978), Software Reliability, North-Holland Publishing, TRW Series of Software Technology, Amsterdam. Tsoukalas, M. Z., Duran, J. W. and Ntafos, S. C. (1993), "On Some Reliability Estimation Problems in Random and Partition Testing", IEEE Trans, on Software Engineering SE-19(7), 687-697. Voas, J. M. and Miller, K. W. (1995), "Software Testability: The New Verification", IEEE Software 12(3), 17-28. Weiser, M. (1984), "Program Slicing", IEEE Trans. Software Engineering SE-10(4), 352357. Zima, H. and Chapman, B. (1990), Supercompilers for Parallel and Vector Computers, Frontier Series, ACM Press, New York.