Alice T. Lee

A quantitative risk assessment method for space flight software systems

Alice T. Lee, Todd R. Gunn, 1993, Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering.

Software analysis handbook: Software complexity analysis and software reliability estimation and prediction

Alice T. Lee, Todd R. Gunn, Tuan Pham, 1994 .

An experience report on requirements reliability engineering using formal methods

Alice T. Lee, David Hamilton, Richard Covington, 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

A Toolsuite for Testing Real-Time Ada Applications

W. Eric Wong, Yann-Hang Lee, Ji Xiao, 2000 .