%0 Conference Paper
%1 Block_2022
%A Block, Christian
%A Dikmen, Serkan
%A Reichel, Reinhard
%B AIAA SCITECH 2022 Forum
%D 2022
%I American Institute of Aeronautics and Astronautics
%K ILS automation avionics_systems myown test_generation
%R 10.2514/6.2022-0254
%T Automated Test Case Generation for the Verification of System and High-Level Software Requirements for Fly-by-Wire Platforms
%U https://doi.org/10.2514%2F6.2022-0254
@inproceedings{Block_2022,
added-at = {2022-01-10T14:52:40.000+0100},
author = {Block, Christian and Dikmen, Serkan and Reichel, Reinhard},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b1395d3e3e9adb60968e7cb9f0c5cb9/christianblock},
booktitle = {{AIAA} {SCITECH} 2022 Forum},
doi = {10.2514/6.2022-0254},
interhash = {c4cd025ec0a15d8a75b9f5786f730ad5},
intrahash = {7b1395d3e3e9adb60968e7cb9f0c5cb9},
keywords = {ILS automation avionics_systems myown test_generation},
month = jan,
publisher = {American Institute of Aeronautics and Astronautics},
timestamp = {2023-11-03T11:13:03.000+0100},
title = {Automated Test Case Generation for the Verification of System and High-Level Software Requirements for Fly-by-Wire Platforms},
url = {https://doi.org/10.2514%2F6.2022-0254},
year = 2022
}