Integration of Test Generation Into Simulation-Based Platforms: An Experience Report | IEEE Conference Publication | IEEE Xplore