{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Gerlich, Ralf, and Christian R. Prause. \i Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation\i0  In \i 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)\i0 . Porto, Portugal, Portugal, 2020.\par \par Prause, Christian, Rainer Gerlich, and Ralf Gerlich. "\i Evaluating Automated Software Verification Tools\i0 ." In \i IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)\i0 . Vasteras, Sweden, 2018.\par \par Gerlich, Ralf, and Christian R. Prause. "\i Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms\i0 ." In \i IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)\i0 . Vasteras, Sweden , 2018.\par \par }