Shaoying Liu, Shin Nakajima. A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. In Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010. pages 147-155, IEEE Computer Society, 2010. [doi]
Abstract is missing.