\begin{thebibliography}{10}

\bibitem{boehm88}
B.~Boehm and P.~Papaccio.
\newblock Understanding and controlling software costs.
\newblock {\em IEEE Trans. on Software Engineering}, 14(10):1462--1477, October
  1988.

\bibitem{fagan76}
M.~Fagan.
\newblock Design and code inspections to reduce errors in program development.
\newblock {\em IBM Systems Journal}, 15(3), 1976.

\bibitem{fagan86}
M.~Fagan.
\newblock Advances in software inspections.
\newblock {\em IEEE Trans. on Software Engineering}, pages 744--751, July 1986.

\bibitem{fenton00b}
N.~Fenton and N.~Ohlsson.
\newblock Quantitative analysis of faults and failures in a complex software
  system.
\newblock {\em IEEE Transactions on Software Engineering}, pages 797--814,
  August 2000.

\bibitem{hall00}
G.~Hall and J.~Munson.
\newblock Software evolution: code delta and code churn.
\newblock {\em Journal of Systems and Software}, pages 111 -- 118, 2000.

\bibitem{journals/ese/KhoshgoftaarS03}
T.~M. Khoshgoftaar and N.~Seliya.
\newblock Fault prediction modeling for software quality estimation: Comparing
  commonly used techniques.
\newblock {\em Empirical Software Engineering}, 8(3):255--283, 2003.

\bibitem{lessmann08}
S.~Lessmann, B.~Baesens, C.~Mues, and S.~Pietsch.
\newblock Benchmarking classification models for software defect prediction: A
  proposed framework and novel findings.
\newblock {\em IEEE Transactions on Software Engineering}, May 2008.
\newblock Available from
  \url{http://iccle.googlecode.com/svn/trunk/share/pdf/lessmann08.pdf}.

\bibitem{leven95}
N.~Leveson.
\newblock {\em Safeware System Safety And Computers}.
\newblock Addison-Wesley, 1995.

\bibitem{littlewood97}
B.~Littlewood and D.~Wright.
\newblock Some conservative stopping rules for the operational testing of
  safety-critical software.
\newblock {\em IEEE Transactions on Software Engineering}, 23(11):673--683,
  November 1997.

\bibitem{lowrey98}
M.~Lowry, M.~Boyd, and D.~Kulkarni.
\newblock Towards a theory for integration of mathematical verification and
  empirical testing.
\newblock In {\em Proceedings, ASE'98: Automated Software Engineering}, pages
  322--331, 1998.

\bibitem{lutz03}
R.~Lutz and C.~Mikulski.
\newblock Operational anomalies as a cause of safety-critical requirements
  evolution.
\newblock {\em Journal of Systems and Software}, 2003.
\newblock Available from
  \url{http://www.cs.iastate.edu/~rlutz/publications/JSS02.ps}.

\bibitem{me99q}
T.~Menzies and B.~Cukic.
\newblock When to test less.
\newblock {\em IEEE Software}, 17(5):107--112, 2000.
\newblock Available from \url{http://menzies.us/pdf/00iesoft.pdf}.

\bibitem{me07e}
T.~Menzies, A.~Dekhtyar, J.~Distefano, and J.~Greenwald.
\newblock Problems with precision.
\newblock {\em IEEE Transactions on Software Engineering}, September 2007.
\newblock \url{http://menzies.us/pdf/07precision.pdf}.

\bibitem{me07b}
T.~Menzies, J.~Greenwald, and A.~Frank.
\newblock Data mining static code attributes to learn defect predictors.
\newblock {\em IEEE Transactions on Software Engineering}, January 2007.
\newblock Available from \url{http://menzies.us/pdf/06learnPredict.pdf}.

\bibitem{me00q}
T.~Menzies, J.~Powell, and M.~E. Houle.
\newblock Fast formal analysis of requirements via 'topoi diagrams'.
\newblock In {\em ICSE 2001}, 2001.
\newblock Available from \url{http://menzies.us/pdf/00fastre.pdf}.

\bibitem{me02f}
T.~Menzies, D.~Raffo, S.~on~Setamanit, Y.~Hu, and S.~Tootoonian.
\newblock Model-based tests of truisms.
\newblock In {\em Proceedings of IEEE ASE 2002}, 2002.
\newblock Available from \url{http://menzies.us/pdf/02truisms.pdf}.

\bibitem{musa87}
J.~Musa, A.~Iannino, and K.~Okumoto.
\newblock {\em Software Reliability: Measurement, Prediction, Application}.
\newblock McGraw Hill, 1987.

\bibitem{nagappan05}
N.~Nagappan and T.~Ball.
\newblock Static analysis tools as early indicators of pre-release defect
  density.
\newblock In {\em ICSE 2005, St. Louis}, 2005.

\bibitem{shu02}
F.~Shull, V.~B. ad~B.~Boehm, A.~Brown, P.~Costa, M.~Lindvall, D.~Port, I.~Rus,
  R.~Tesoriero, and M.~Zelkowitz.
\newblock What we have learned about fighting defects.
\newblock In {\em Proceedings of 8th International Software Metrics Symposium,
  Ottawa, Canada}, pages 249--258, 2002.
\newblock Available from
  \url{http://fc-md.umd.edu/fcmd/Papers/shull_defects.ps}.

\bibitem{shull00a}
F.~Shull, I.~Rus, and V.~Basili.
\newblock How perspective-based reading can improve requirements inspections.
\newblock {\em IEEE Computer}, 33(7):73--79, 2000.
\newblock Available from
  \url{http://www.cs.umd.edu/projects/SoftEng/ESEG/papers/82.77.pdf}.

\bibitem{voas95}
J.~Voas and K.~Miller.
\newblock Software testability: The new verification.
\newblock {\em IEEE Software}, pages 17--28, May 1995.
\newblock Available from
  \url{http://www.cigital.com/papers/download/ieeesoftware95.ps}.

\bibitem{weyuker08}
E.~Weyujer, T.~Ostrand, and B.~Bell.
\newblock Do too many cooks spoil the broth? using the number of developers to
  enhance defect prediction models.
\newblock {\em Empirical Software Engineering}, 13(5):539--559, October 2008.

\bibitem{zhang07}
H.~Zhang and X.~Zhangu.
\newblock Comments on 'data mining static code attributes to learn defect
  predictors'.
\newblock {\em IEEE Transactions on Software Engineering}, September 2007.

\end{thebibliography}
