Developing Dependable Software Using Prototyping and Test-Diversity. - W. Kuhn; H. Selami (SAFECOMP, 1996)