Author:
Guin Jishu,Vain Jüri,Tsiopoulos Leonidas,Valdek Gert
Publisher
Springer International Publishing
Reference15 articles.
1. Practitest: The 2022 state of testing report. https://www.practitest.com/state-of-testing/
2. Aichernig, B.K., Hörmaier, K., Lorber, F.L., Nickovic, D., Tiran, S.: Require, test, and trace it. Int. J. Softw. Tools Technol. Transf. 19, 409–426 (2016)
3. Anier, A., Vain, J., Tsiopoulos, L.: DTRON: a tool for distributed model-based testing of time critical applications. Proc. Estonian Acad. Sci. 66, 75–88 (2017)
4. Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Tran. Softw. Eng. 41(7), 620–638 (2015). https://doi.org/10.1109/TSE.2015.2398877
5. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献