Improving software model inference by combining state merging and Markov models
Labelled-transition systems (LTS) are widely used by developers and testers to model software systems in terms of their sequential behaviour. They provide an overview of the behaviour of the system and their reaction to different inputs. LTS models are the foundation for various automated verificati...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Sheffield
2016
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.690159 |