TY  - RPRT
TI  - A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)
AU  - Aleksandar S. Dimovski
AU  - Sven Apel
AU  - Axel Legay
PY  - 2020
UR  - https://arxiv.org/abs/2012.05863
ID  - 2012.05863
ER  -