An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems

Muddassar A. Sindhu

Learning-based testing (LBT) is an emerging methodology to automate iterative black-box requirements testing of software systems. The methodology involves combining model inference…