Biblio

Export 2 results:
Filters: Author is Ralf Gerlich  [Clear All Filters]
2018
Prause, Christian, Rainer Gerlich, and Ralf Gerlich. "Evaluating Automated Software Verification Tools." In IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). Vasteras, Sweden, 2018.
Gerlich, Ralf, and Christian R. Prause. "Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms." In IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Vasteras, Sweden , 2018.