@inbook{inbook, title = {{A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems}}, publisher = {{Springer-verlag}}, url = {{}}, year = {{2002}}, month = {{1}}, author = {{Tracey NJ and Clark JA and McDermid JA and Mander KC and Henderson P}}, pages = {{174-213}}, note = {{Accessed on 2024/12/22}}}