"Special Session: Does Approximation Make Testing Harder (or Easier)?"

R. Iris Bahar, Ulya R. Karpuzcu, Sasa Misailovic (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics