1: \begin{abstract}

2: Learning-based testing (LBT) is an emerging methodology to automate iterative black-box requirements testing of software systems.

3: The methodology involves combining model inference with model checking techniques. However, a variety 

4: of optimisations on model inference are necessary in order to achieve scalable testing for large systems.

5: 

6: In this paper we describe the IKL learning algorithm which is an active incremental learning algorithm for deterministic Kripke structures. 

7: We formally prove the correctness of IKL.

8: We discuss the optimisations it incorporates to achieve scalability of testing. We also evaluate a black box heuristic for test termination

9: based on convergence of IKL learning.

10: \end{abstract}

11: