Login / Signup
Simon Daniel
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Software Design
Functional Requirements
Quality Attributes
Source Code
Top Venues
CoRR
ICECCS
</>
Publications
</>
Youcheng Sun
,
Martin Brain
,
Daniel Kroening
,
Andrew Hawthorn
,
Thomas Wilson
,
Florian Schanda
,
Francisco Javier Guzman Jimenez
,
Simon Daniel
,
Chris Bryan
,
Ian Broster
Functional Requirements-Based Automated Testing for Avionics.
CoRR
(2017)
Youcheng Sun
,
Martin Brain
,
Daniel Kroening
,
Andrew Hawthorn
,
Thomas Wilson
,
Florian Schanda
,
Francisco Javier Guzman Jimenez
,
Simon Daniel
,
Chris Bryan
,
Ian Broster
Functional Requirements-Based Automated Testing for Avionics.
ICECCS
(2017)