BibTeX record conf/kbse/ZhangZHYCZSLXZ23

• > Home > conf/kbse/ZhangZHYCZSLXZ23

@inproceedings{DBLP:conf/kbse/ZhangZHYCZSLXZ23,
  author       = {Zuoyan Zhang and
                  Bei Zhou and
                  Jiangwei Hao and
                  Hongru Yang and
                  Mengqi Cui and
                  Yuchang Zhou and
                  Guanghui Song and
                  Fei Li and
                  Jinchen Xu and
                  Jie Zhao},
  title        = {Eiffel: Inferring Input Ranges of Significant Floating-point Errors
                  via Polynomial Extrapolation},
  booktitle    = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2023, Luxembourg, September 11-15, 2023},
  pages        = {1441--1453},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ASE56229.2023.00139},
  doi          = {10.1109/ASE56229.2023.00139},
  timestamp    = {Mon, 20 Nov 2023 08:30:14 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ZhangZHYCZSLXZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}