Title: | Functional Requirements-Based Automated Testing for Avionics |
---|---|
Links: | Homepage Document as PDF |
Authors: | Youcheng Sun |
Martin Brain | |
Daniel Kroening EMail | |
Andrew Hawthorn | |
Thomas Wilson | |
Florian Schanda | |
Francisco Javier Guzmán Jiménez | |
Simon Daniel | |
Chris Bryan | |
Ian Broster | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{sbkhwsgdbr2017, AUTHOR = { Sun, Youcheng and Brain, Martin and Kroening, Daniel and Hawthorn, Andrew and Wilson, Thomas and Schanda, Florian and Guzm{\'a}n Jim{\'e}nez, Francisco Javier and Daniel, Simon and Bryan, Chris and Broster, Ian }, TITLE = { Functional Requirements-Based Automated Testing for Avionics }, BOOKTITLE = { International Conference on Engineering of Complex Computer Systems (ICECCS) }, YEAR = { 2017 }, PUBLISHER = { IEEE }, PAGES = { 170--173 }, ISBN = { 978-1-5386-2431-9 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.