Improving Software Model Inference by Combining State Merging and Markov Models

Alsaeedi, Abdullah (2016) Improving Software Model Inference by Combining State Merging and Markov Models. PhD thesis, University of Sheffield.

Abstract

Metadata

Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.690159
Depositing User: Mr. Abdullah Alsaeedi
Date Deposited: 28 Jul 2016 11:31
Last Modified: 03 Oct 2016 13:15

Download

AbdullahAhmadAlsaeediPhdThesis2016

Filename: AbdullahAhmadAlsaeediPhdThesis2016.pdf

Licence: Creative Commons Attribution (UK)

Share / Export


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.