Gerlits Evgeny Anatolievich

Publications in Math-Net.Ru

1. RaceHunter dynamic data race detector
   
   Proceedings of ISP RAS, 35:6 (2023),  135–156
2. Elicitation of functional requirements from the application programming interface documentation for functional testing
   
   Proceedings of ISP RAS, 34:1 (2022),  7–22