A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
2018
International Journal on Software Tools for Technology Transfer (STTT)
Many automated system analysis techniques (e.g., model checking, model-based testing) rely on first obtaining a model of the system under analysis. System modeling is often done manually, which is often considered as a hindrance to adopt modelbased system analysis and development techniques. To overcome this problem, researchers have proposed to automatically "learn" models based on sample system executions and shown that the learned models can be useful sometimes. There are however many
doi:10.1007/s10009-018-0492-7
fatcat:4wy2t77vyvfotb5xmlf2wfrbsu