\begin{thebibliography}{1}
\providecommand{\url}[1]{#1}
\csname url@rmstyle\endcsname
\providecommand{\newblock}{\relax}
\providecommand{\bibinfo}[2]{#2}
\providecommand\BIBentrySTDinterwordspacing{\spaceskip=0pt\relax}
\providecommand\BIBentryALTinterwordstretchfactor{4}
\providecommand\BIBentryALTinterwordspacing{\spaceskip=\fontdimen2\font plus
\BIBentryALTinterwordstretchfactor\fontdimen3\font minus
  \fontdimen4\font\relax}
\providecommand\BIBforeignlanguage[2]{{%
\expandafter\ifx\csname l@#1\endcsname\relax
\typeout{** WARNING: IEEEtran.bst: No hyphenation pattern has been}%
\typeout{** loaded for the language `#1'. Using the pattern for}%
\typeout{** the default language instead.}%
\else
\language=\csname l@#1\endcsname
\fi
#2}}

\bibitem{avri95}
A.~Avritzer and E.~J. Weyuker, ``The automatic generation of load test suites
  and the assessment of the resulting software,'' \emph{IEEE Trans. on Software
  Engineering}, vol.~21, no.~9, pp. 705--716, September 1995.

\bibitem{me03c}
T.~Menzies and Y.~Huf, ``Data mining for very busy people,'' \emph{IEEE
  Computer}, vol.~36, no.~11, pp. 22--29, November 2003, available from
  \url{http://menzies.us/pdf/03tar2.pdf}.

\bibitem{mellor03}
S.~Mellor, A.~Clark, and T.~Futagamii, ``Model-driven development - guest
  editor's introduction,'' \emph{IEEE Software}, vol.~20, no.~5, pp. 14-- 18,
  Sept.-Oct. 2003.

\end{thebibliography}