Publisher
Springer International Publishing
Reference11 articles.
1. Liu, S., Nakajima, S.: A “vibration” method for automatically generating test cases based on formal specifications. In: 2011 18th Asia Pacific Software Engineering Conference, pp. 73–80, 5–8 December 2011
2. Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-662-07287-5
3. Lecture Notes in Computer Science;HM Hörcher,1995
4. Lecture Notes in Computer Science;J Offutt,1999
5. Liu, S., Chen, Y., Nagoya, F., McDermid, J.A.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 9(4), 1100–1122 (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献