\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Della Penna et~al.}(2006){Della Penna, Tofani, Pecorari, Raparelli, Intrigila, Melatti \& Tronci}]{DellaPenna_etal2006} Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, and Enrico Tronci. "A Case Study on Automated Generation of Integration Tests." In \textit{Fdl}, 278--284. Ecsi, 2006. ISSN: 978-3-00-019710-9.

\end{thebibliography}

