Francisco Javier Guzman Jimenez

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Software Design

Functional Requirements

Quality Attributes

Top Venues

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)