SEGALL ITAI ERWIN

Utilizing auxiliary variables in modeling test space for system behavior