User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Mrowca, Artur; Nocker, Martin; Steinhorst, Sebastian; Guennemann, Stephan 
Title:
Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference 
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:
Pages:
96:1--96:6 
Print-ISBN:
978-1-4503-6725-7 
Bookseries title:
DAC '19 
Fulltext / DOI: