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

Bence Graics, Vince Molnr, Istvn Majzik

Browse the full FMICS paper archive.