Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty | IEEE Conference Publication | IEEE Xplore