Gerlits Evgeny Anatolievich

Publications in Math-Net.Ru

1. Towards a test automation framework for data race testing
   
   Proceedings of ISP RAS, 37:1 (2025),  107–120
2. RaceHunter dynamic data race detector
   
   Proceedings of ISP RAS, 35:6 (2023),  135–156
3. Elicitation of functional requirements from the application programming interface documentation for functional testing
   
   Proceedings of ISP RAS, 34:1 (2022),  7–22