User: Guest  Login
Title:

Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference

Document type:
Konferenzbeitrag
Author(s):
Mrowca, Artur; Nocker, Martin; Steinhorst, Sebastian; Guennemann, Stephan
Keywords:
bayesian inference, data-driven verification, path merging, specification mining
Book / Congress title:
Proceedings of the 56th Design Automation Conference (DAC 2019)
Publisher:
ACM
Publisher address:
New York, NY, USA
Year:
2019
Month:
6
Pages:
96:1--96:6
Print-ISBN:
978-1-4503-6725-7
Bookseries title:
DAC '19
Fulltext / DOI:
doi:10.1145/3316781.3317847
WWW:
https://s-steinhorst.github.io/PDF/2019-DAC-Learning Temporal Specifications from Imperfect Traces using Bayesian Inference.pdf
 BibTeX