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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.