Unified Model for Testing Object-Oriented Application Development Tools - Pavel P. Oleynik (Труды Института системного программирования РАН, 2018)