14 citations · 25 across the 3 of their papers we have counts for
3 papers
cs.CR2018★ 10 cited
Recurrent Neural Networks for Fuzz Testing Web Browsers
Martin Sablotny, Bjørn Sand Jensen, Chris W. Johnson
Generation-based fuzzing is a software testing approach which is able to discover different types of bugs and vulnerabilities in software. It is, however, known to be very time con…
cs.SE2014★ 1 cited
Towards Assessing Necessary Competence
C. Michael Holloway, Chris W. Johnson
We sketch a series of studies and experiments designed to provide empirical evidence about the truth or falsity of claims that non-prescriptive approaches to standards demand great…
eess.SY2014★ 14 cited
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites
Zhaoguang Peng, Yu Lu, Alice Miller +2
Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of use…