Adaptive testing for specification coverage and refinement in CPS models
Article in Nonlinear Analysis Hybrid Systems (November 2022)
The most recent citing publications are shown below. View all 12 publications that cite this research output on Dimensions.
Article in Nonlinear Analysis Hybrid Systems (November 2022)
Conference proceeding (April 2021)
Article in Software Practice and Experience (July 2019)