for the BMC software paper