Elicitation of a Program's Behaviors