Publisher
Springer Nature Singapore
Reference15 articles.
1. Khan, A.Z., Iftikhar, S., Bokhari, R.H., Khan, Z.I.: Issues/challenges of automated software testing: a case study. Pakistan J. Comput. Inf. Syst. 3(2), 61–72 (2018)
2. Li, Y., Fan, W.: Analysis of software testing system in civil aviation field. Phys. Procedia 33, 470–475 (2012). https://doi.org/10.1016/j.phpro.2012.05.091
3. Taryana, A., Fadli, A., Murdyantoro, E., Rahmah, S.: DevOps approach embraces forward and reverse engineering. Int. J. Appl. Inf. Technol. 04(02), 0–1 (2020)
4. Famelis, M., Salay, R., Chechik, M.: Partial models: Towards modeling and reasoning with uncertainty. In: 2012 34th International Conference on Software Engineering, pp. 573–583 (2012). https://doi.org/10.1109/ICSE.2012.6227159
5. Luckcuck, M., Farrell, M., Dennis, L.A., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. ACM Comput. Surv. 52(5) (2019). https://doi.org/10.1145/3342355