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

Browse the full ICECCS paper archive.