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