Adaptive testing for specification coverage and refinement in CPS models
scientific article; zbMATH DE number 7601773
scientific article