TY  - RPRT
TI  - Functional Requirements-Based Automated Testing for Avionics
AU  - Youcheng Sun
AU  - Martin Brain
AU  - Daniel Kroening
AU  - Andrew Hawthorn
AU  - Thomas Wilson
AU  - Florian Schanda
AU  - Francisco Javier Guzman Jimenez
AU  - Simon Daniel
AU  - Chris Bryan
AU  - Ian Broster
PY  - 2017
UR  - https://arxiv.org/abs/1707.01466
ID  - 1707.01466
ER  -