Author:
Li Cencen,Li Mo,Liu Shaoying,Nakajima Shin
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Liu, S., Nakajima, S.: A Decompositional Approach to Automatic Test Case Generation Based on Formal Specification. In: Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement, pp. 147–155 (2010)
2. Li, C., Liu, S., Nakajima, S.: An Experiment for Assessment of a “Functional Scenario-based” Test Case Generation Method. In: Proceedings of International Conference on Software Engineering and Technology, pp. 64–71 (2012)
3. Lecture Notes in Computer Science;S. Liu,2007
4. Lecture Notes in Computer Science;J. Dick,1993
5. Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer (2004) ISBN 3-540-20602-7