DOI,IST REx ID,Research Group,Title of publication
10.1145/1706299.1706319,3840,ToHe,From boolean to quantitative notions of correctness