Generating test data for ADA procedures using genetic algorithms | IET Conference Publication | IEEE Xplore