@entry{tan-zha-mue-che-16-aa,
  author = {E Tang and X Zhang and NT M{\"u}ller and Z Chen...},
  title = {Software numerical instability detection and diagnosis by combining stochastic and infinite-precision testing},
  journal = {IEEE Transactions on ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2016,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/7792694/?casa_token=RCEWoO1geeYAAAAA:YAuQi4lbLR6Tl49FrkS1tcCy88FsRBkpbd6jAv-LY7-7Q3AkB11nD7OUHaCqJXjFGCMSlgc5}}},
  quotes = {... Affine arithmetic further tracks the sources of errors as affine forms for better precision. It ... ,}
}