Proceedings of the second Asian Test Symposium November 16 - 18, 1993, Beijing, China (IEEE Computer Soc. Press, 1993)