\begin{figure*}[!t]
\renewcommand{\baselinestretch}{1}
\begin{alltt}\scriptsize
policy=NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF <= 0.5 : 
|   policy=NNWN,NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW, FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF <= 0.5 : 
|  |   policy=WNNN,NWNN,FNNW,FNNB,BNNN,NNWN,NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,
              NNWF,BBBB,FFFF,NNNF,BFFF <= 0.5 : 
|  |  |   _detCap_8 <= 0.431 : 6940 
|  |  |   _detCap_8 >  0.431 : 8180 
|  |   policy=WNNN,NWNN,FNNW,FNNB,BNNN,NNWN,NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,
              NNWF,BBBB,FFFF,NNNF,BFFF >  0.5 : 
|  |  |   _detCap_8 <= 0.491 : 
|  |  |  |   _inspDur_10 <= 94 : 8780 
|  |  |  |   _inspDur_10 >  94 : 7860 
|  |  |   _detCap_8 >  0.491 : 9320 
|   policy=NNWN,NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF >  0.5 : 
|  |   policy=BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF <= 0.5 : 9750 
|  |   policy=BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF >  0.5 : 10300 
policy=NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF >  0.5 : 
|   policy=NNWF,BBBB,FFFF,NNNF,BFFF <= 0.5 : 
|  |   _detCap_38 <= 0.418 : 10700 
|  |   _detCap_38 >  0.418 : 11400 
|   policy=NNWF,BBBB,FFFF,NNNF,BFFF >  0.5 : 
|  |   _corErr_50 <= 155 : 11900 
|  |   _corErr_50 >  155 : 
|  |  |   policy=NNNF,BFFF <= 0.5 : 12400 
|  |  |   policy=NNNF,BFFF >  0.5 : 
|  |  |  |   _detCap_38 <= 0.519 : 12500 
|  |  |  |   _detCap_38 >  0.519 : 13600 
\end{alltt}
\caption{A regression tree learned by CART from data generated
from the \fig{raffo} model.
In this figure, and \protect\fig{lsr},
policies are denoted as a four-part sequence
describing the inspection policy at each phase.
For example, ``FFFN'' denotes 
using
no inspections for code but
full Fagan inspections for all earlier phases.
}\label{fig:cart}


\end{figure*}

\begin{figure*}[!t]
\renewcommand{\baselinestretch}{1}
\begin{alltt}\scriptsize
utility = 7370
 + 1220policy=WNNN,NWNN,FNNW,FNNB,BNNN,NNWN,NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,
              NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 258policy=FNNB,BNNN,NNWN,NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW, FNNF,
             NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 640policy=NNWN,NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 505policy=NNNW,WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 - 190policy=WNNW,BNNW,WNNB,BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 206policy=BNNB,WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 - 177policy=WWWW,NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 890policy=NNNB,NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 - 296policy=NNWW,FNNF,NNWB,NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 545policy=NNFN,BNNF,WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 640policy=WNNF,NNWF,BBBB,FFFF,NNNF,BFFF
 + 459policy=NNWF,BBBB,FFFF,NNNF,BFFF - 143policy=BBBB,FFFF,NNNF,BFFF
 + 835policy=NNNF,BFFF - 142_spec_2=n,b + 27_spec_2=b + 3690_detCap_8
 - 135_inspEff_9 - 7320_inspDur_10 - 64400_corErr_11 - 760_detCap_18
 - 134_inspEff_19 - 7310_inspDur_20 - 64300_corErr_21 - 9100_detCap_28
 - 134_inspEff_29 - 7320_inspDur_30 - 64300_corErr_31 + 6170_detCap_38
 - 134_inspEff_39 - 7320_inspDur_40 - 64400_corErr_41
+ 21500_inspEff_48 + 1.17e6_inspDur_49 + 64400_corErr_50
\end{alltt}
\caption{Linear regression learned from data generated
from the \fig{raffo} model. }\label{fig:lsr}
\end{figure*}
