Neil Walkinshaw

S. Nair, N. Walkinshaw and T. Kelly

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

SASSUR 2014, Computer Safety, Reliability, and Security

S. Nair, N. Walkinshaw, T. Kelly and J. L. de la Vara

An Evidential Reasoning Approach for Assessing Confidence in Safety Evidence

N. Walkinshaw, K. Bogdanov, S. Ali and M. Holcombe

Automated Discovery of State Transitions and Their Functions in Source Code

Software Testing, Verification and Reliability

S. Ali, K. Bogdanov and N. Walkinshaw

A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models