A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features.

Aleksandar S. Dimovski, Sven Apel, Axel Legay

Browse the full FASE paper archive.