Software Test Design Through Behavioral Modeling