A Case Study on Automated Generation of Integration Tests