Passive testing of production systems based on model inference

William Durand, sébastien Salva
September, 2015
PDF Cite
Type
1
Publication
ACM/IEEE International Conference on Formal Methods and Models for Codesign
Model inference ; STS ; machine learning ; produc-tion system ; passive testing ; conformance