B. A Motivating Example
Consider Renters Insurance Program (or simply Renters)
designed and built by a major insurance company. A goal of
this program is to compute quotes for insurance premiums
for rental condominiums. Renters is written in Java and it
contains close to 8,500 methods that are invoked more than
three million times over the course of a single end-to-end
pass through the application. Its database contains approximately
78Mil customer profiles, which are used as test input
data for Renters. Inputs that cause heavy computations are