“…Models can be generated from different artefacts of the software process, or the artefacts used directly as test models. Suitable candidates include specifications [10] and pre-existing test cases [9,14]. Alternatively, models can be extracted from an existing product, either the source code [4,13,15], the structure and functionality of the graphical user interface (GUI) [1,6,11,12], or other known behaviour [7,8].…”