1. Mikoni, S.V.: Obschie diagnosticheskie bazi znanii vichislitelnih system. [General diagnostic knowledge base of computing systems.] SPIIRAS, St. Petersburg. (1992). (in Russian)
2. Alberto, A., Cavalcanti, A.L.C., Gaudel, M.-C., Simao, A.: Formal mutation testing for Circus. IST 81, 131–157 (2017)
3. Lecture Notes in Computer Science;M Czech,2015
4. Ma, T., Ali, S., Yue., T.: Fragility-oriented testing with model execution and reinforcement learning. Simula Research Lab Technical report 2017–05 (2017). http://www.simulano/publications/fragility-oriented-testing-model-execution-and-reinforcement-learning. Accessed 11 Nov 2021
5. Christakis, M.: Narrowing the gap between verification and systematic testing. Ph.D. Thesis. National Technical University of Athens, Athens, Greece (2015)