Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
Book chapter (September 2023)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (September 2023)
Book chapter (October 2022)
Book chapter (October 2022)