Efficient Unit and Integration Testing of Safety Critical Code, Beyond xUnit Tools