An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies.

Margaret A. Wojcicki, Paul A. Strooper

Browse the full ICSE paper archive.