%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 %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 = {2023-11-03T11:08:19.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 = {}, month = jan, publisher = {American Institute of Aeronautics and Astronautics}, timestamp = {2023-11-03T10:08:19.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 }