Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers

Graics, Bence [Graics, Bence (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Molnár, Vince [Molnár, Vince (informatika), szerző]; Majzik, István [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)