Towards assurance case evidence generation through search based testing: work-in-progress.