Automatic Model-Based Test Generation 107
83. Lamberg, K., Beine, M., Eschmann, M., Otterbach, R., Conrad, M., and Fey, I. (2005).
Model-based testing of embedded automotive software using MTest.
84. Mansour, N., and Salame, M. (2004). Data generation for path testing. Software
Quality Control, 12(2):121–136.
85. Mayer, J. (2005). On testing image processing applications with statistical methods.
Software Engineering, 69–78.
86. Mayer, J., and Schneckenburger, C. (2006). An empirical analysis and comparison of
random testing techniques. In ISESE’06: Proceedings of the 2006 ACM/IEEE Inter-
national Symposium on Empirical Software Engineering, Pages: 105–114. ACM Press,
New York, NY.
87. Mcgraw, G., Michael, C., and Schatz, M. (1997). Generating softw ...