Margaret A. Wojcicki, Paul A. Strooper. An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies. In Proceedings of the 5th International Workshop on Software Quality, WoSQ@ICSE 2007, Minneapolis, Minnesota, USA, May 20, 2007. pages 9, IEEE Computer Society, 2007. [doi]