Halstead

Final-thesis/report.bbl

@@ -99,11 +99,6 @@ Steve McConnell.
 \newblock Software quality at top speed.
 \newblock {\em Softw. Dev.}, 4:38--42, August 1996.
 
-\bibitem{Myers:2004}
-Glenford~J. Myers and Corey Sandler.
-\newblock {\em The Art of Software Testing}.
-\newblock John Wiley \& Sons, 2004.
-
 \bibitem{Nachmanson:testing}
 Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, and Wolfgang
   Grieskamp.
@@ -126,13 +121,6 @@ S.J. Prowell.
 \newblock In {\em System Sciences, 2003. Proceedings of the 36th Annual Hawaii
   International Conference on}, page 9 pp., jan. 2003.
 
-\bibitem{Reid:partitioning}
-S.C. Reid.
-\newblock An empirical analysis of equivalence partitioning, boundary value
-  analysis and random testing.
-\newblock In {\em Software Metrics Symposium, 1997. Proceedings., Fourth
-  International}, pages 64 --73, nov 1997.
-
 \bibitem{Rensink:graph_grammars}
 A.~{Rensink}.
 \newblock Towards model checking graph grammars.

Final-thesis/report.blg

@@ -1,45 +1,3 @@
-This is BibTeX, Version 0.99c (TeX Live 2009/Debian)
-The top-level auxiliary file: report.aux
+This is BibTeX, Version 0.99cThe top-level auxiliary file: report.aux
 The style file: plain.bst
 Database file #1: bib/bibliography.bib
-You've used 31 entries,
-            2118 wiz_defined-function locations,
-            728 strings with 10070 characters,
-and the built_in function-call counts, 11355 in all, are:
-= -- 1103
-> -- 512
-< -- 18
-+ -- 202
-- -- 163
-* -- 788
-:= -- 1842
-add.period$ -- 103
-call.type$ -- 31
-change.case$ -- 160
-chr.to.int$ -- 0
-cite$ -- 31
-duplicate$ -- 477
-empty$ -- 898
-format.name$ -- 163
-if$ -- 2447
-int.to.chr$ -- 0
-int.to.str$ -- 31
-missing$ -- 34
-newline$ -- 161
-num.names$ -- 78
-pop$ -- 182
-preamble$ -- 1
-purify$ -- 134
-quote$ -- 0
-skip$ -- 345
-stack$ -- 0
-substring$ -- 676
-swap$ -- 144
-text.length$ -- 18
-text.prefix$ -- 0
-top$ -- 0
-type$ -- 114
-warning$ -- 0
-while$ -- 109
-width$ -- 33
-write$ -- 357