Amit M. Paradkar. A new solution to test generation for Boolean expressions. In Dennis Bockus, Karen Bennet, W. Morven Gentleman, J. Howard Johnson, Evelyn Kidd, editors, Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada. pages 48, IBM, 1995. [doi]