Improving software model inference by combining state merging and Markov models

Abdullah Alsaeedi. Improving software model inference by combining state merging and Markov models. PhD thesis, University of Sheffield, UK, 2016. [doi]

Bibliographies