Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs