Requirements Engineering with Use Cases - a Basis for Software Development
A Markov chain model for statistical software testing