Author:
Xian Min,Zheng Xiang,Ye Xiaoqin
Publisher
Springer Nature Switzerland
Reference12 articles.
1. David, A., Xavier, B., Dolors, C., et al.: Non-functional requirements in model-driven development of service-oriented architectures. Sci. Comput. Program. 168(DEC.15), 18–37 (2018)
2. Zhao, Y., Yang, Z., Ma, D.: A survey on formal specification and verification of separation kernels. Front. Comput. Sci. China. 11(4), 585–607 (2017)
3. Gardner, Z., Philippa, S.: Verified trustworthy software systems. Philos. Trans. R. Soc. A. Math. Phys. Eng. Sci. 375(2104), 20150408 (2017)
4. Ibrahim, J., Zhu, J., Hanif, S., Shafiq, S., et al.: Emerging trends in software testing tools & methodologies: a review.Int. J. Comput. Sci. Inf. Secur. 17(7), 108–112 (2019)
5. Ateoullar, D., Mishra, A.: Automation testing tools: a comparative view. Int. J. Inf. Comput. Secur. 12(4), 63–76 (2020)