BIRNBAUM ARIEL

Utilizing auxiliary variables in modeling test space for system behavior