1. A method for testing, based on coverage goals, a software application under test (AUT) having plural paths reaching one or more non-deterministic outcomes, said method comprising the steps of: identifying all possible paths for achieving said coverage goals; identifying a sequence or set of sequences of stimuli to apply to maximize the likelihood that a particular coverage goal will be achieved; and applying said identified stimuli sequence to said AUT.