Publisher
Springer Nature Switzerland
Reference13 articles.
1. 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 Trans. Software Eng. 41(7), 620–638 (2015)
2. Basiri, A., et al.: Chaos engineering. IEEE Software 33, 1–1 (01 2016)
3. Bass, L., Clements, P., Kazman, R.: Software architecture in practice. Addison-Wesley Professional, 4 edn. (2021)
4. Chaos Toolkit Team: Chaos Toolkit (2023). https://chaostoolkit.org
5. Czepa, C., Zdun, U.: On the understandability of temporal properties formalized in linear temporal logic, property specification patterns and event processing language. IEEE Trans. Software Eng. 46(1), 100–112 (2018)