Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.