Author:
Fukuoka Shingo,Chen Yixiang,Liu Shaoying
Reference7 articles.
1. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
2. Liu, D., Liu, Y., Zhang, X., Zhu, H., Bayley, I.: Automated testing of web services based on algebraic specifications. In: 2015 IEEE Symposium on Service-Oriented System Engineering (SOSE), San Francisco Bay, US, 30 March 30–3 April 2015 (2015)
3. Chupilko, M., Kamkin, A., Kotsynyak, A., Protsenko, A., Smolov, S., Tatarnikov, A.: Specification-based test program generation for arm vmsav8-64 memory management units. In: 2015 16th International on Workshop Microprocessor and SOC Test and Verification (MTV), Austin, US, 3–4 December (2015)
4. Liu, S.: Utilizing hoare logic to strengthen testing for error detection in programs. In: Proceedings of the Turing Centenary Conference, Manchester, UK, pp. 229–238 (2010)
5. Liu, S.: A decompositional approach to automatic test case generation base on formal specification. In: 4th IRRR International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010), 9–11 June 2010, pp. 147–155. IEEE CS Press, Singapore (2010)