Enabledness-Based Program Abstractions for Behavior Validation. - DE CASO, GUIDO; BRABERMAN, VICTOR; GARBERVETSKY, DIEGO; UCHITEL, SEBASTIAN (ACM Transactions on Software Engineering & Methodology, 2013)