Functional Requirements-Based Automated Testing for Avionics

Youcheng Sun, Martin Brain, Daniel Kroening, Andrew Hawthorn, Thomas Wilson, Florian Schanda, Francisco Javier Guzman Jimenez, Simon Daniel, Chris Bryan, Ian Broster

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageUndefined/Unknown
Title of host publication2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS)
Pages170-173
Number of pages4
Publication statusPublished - 2017

Cite this