Publisher
Springer Science and Business Media LLC
Reference10 articles.
1. Sneed, H., Wolf, E., Heilmann, H.: “Software Migration in der Praxis”, dpunkt.verlag, Heidelberg, 2010.
2. Sneed, H.: “Migrating PL/I Code to Java”, IEEE Proc. of 15th CSMR, IEEE Computer Society Press, Oldenburg, p. 287
3. Broy, M.: “Zur Spezifikation von Programmen für die Textverarbeitung”, in Wossido, P. (ed.): Textverarbeitung und Informatik, Informatik Fachberichte 30, Springer Verlag, Heidelberg, 1980, p. 75
4. Howden, W.: “Symbolic Testing with the DISSECT Symbolic Evaluation System” in IEEE Trans. on S.E. Vol. 1, No. 4, July 1977, p. 266
5. Parrish, A. Borie, R. Cordes, D.: “Automated Flow Graph-based Testing of Object-oriented Software Modules” Journal of Systems and Software, Vol. 23, No. 1,1993, pp. 95–109