T Bauer, F Bohr, D Landmann, T Beletski… - … Systems (SEAS'07), 2007 - ieeexplore.ieee.org
This paper presents the results of a research project where the combination of techniques of
sequence-based requirements specification and model-based statistical testing has been …