BibTeX record conf/safecomp/SalviKBF14

• > Home > conf/safecomp/SalviKBF14

@inproceedings{DBLP:conf/safecomp/SalviKBF14,
  author       = {Sayali Salvi and
                  Daniel K{\"{a}}stner and
                  Tom Bienm{\"{u}}ller and
                  Christian Ferdinand},
  editor       = {Andrea Bondavalli and
                  Andrea Ceccarelli and
                  Frank Ortmeier},
  title        = {True Error or False Alarm? Refining Astr{\'{e}}e's Abstract Interpretation
                  Results by Embedded Tester's Automatic Model-Based Testing},
  booktitle    = {Computer Safety, Reliability, and Security - {SAFECOMP} 2014 Workshops:
                  ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, {SASSUR.} Florence, Italy,
                  September 8-9, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8696},
  pages        = {84--96},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10557-4\_12},
  doi          = {10.1007/978-3-319-10557-4\_12},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SalviKBF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}