Combining model generation and passive testing in the same framework to test industrial systems

Type
Publication
International Journal of Information System Modeling and Design