publication venue for Function Substitution: Towards Constraint Solving in Software Testing 2012 An Approach to Integration Testing of Object-Oriented Programs 2007
