@inproceedings{TMFM2018,
  author    = {Laura Titolo and
               C{\'{e}}sar Mu{\~{n}}oz and
               Marco Feli{\'{u}} and
               Mariano Moscato},
  title     = {{Eliminating Unstable Tests in Floating-Point Programs}},
  booktitle = {Proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation,
              {LOPSTR} 2018},
  year      = {2018},
  series    = {Lecture Notes in Computer Science},
  volume    = {10747},
  pages = {169-183},
  publisher = {Springer},
}