1. Veanes, M., et al.: Formal methods and testing. Chap. Model-based Testing of Object-oriented Reactive Systems with Spec Explorer, pp. 39–76. Springer, Berlin, Heidelberg (2008)
2. Kharchenko, V., Illiashenko, O.: Concepts of Green IT Engineering: Taxonomy, Principles and Implementation, pp. 3–19. Springer International Publishing, Cham (2017). https://doi.org/10.1007/978-3-319-44162-7_1
3. Miyase, K., Sauer, M., Becker, B., Wen, X., Kajihara, S.: Search space reduction for low-power test generation. In: Proceedings of the 22nd Asian Test Symposium (ATS), 2013. IEEE (2013)
4. Vain, J., Tsiopoulos, L., Kharchenko, V., Kaur, A., Jenihhin, M., Raik, J.: Multi-fragment Markov model guided online test generation for MPSoC. In: Ermolayev, V., Bassiliades, N., Fill, H.G., Yakovyna, V., Mayr, H.C., Kharchenko, V., Peschanenko, V., Shyshkina, M., Nikitchenko, M., Spivakovsky, A. (eds.) ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer: Proceedings of the 13th International Conference, ICTERI 2017, pp. 594–607. CEUR Workshop Proceedings RWTH Aachen University (2017)
5. Trivedi, K.S., Kim, D.S., Roy, A., Medhi, D.: Dependability and security models. In: Proceedings of 7th International Workshop on Design of Reliable Communication Networks, 2009. DRCN 2009. IEEE (2009)