Abstract: Testing safety-critical software systems like urban railway interlocking systems is crucial since a software crash may lead to a terrible loss of assets and human life. A key problem in ...