Export 4 results:
Filters: Author is Neil Walkinshaw [Clear All Filters]
An Evidential Reasoning Approach for Assessing Confidence in Safety Evidence. Simula Research Laboratory, 2014.
Quantifying Uncertainty in Safety Cases Using Evidential Reasoning In SASSUR 2014, Computer Safety, Reliability, and Security, Edited by A. Bondavalli, A. Ceccarelli and F. Ortmeier. Vol. 8696. unknown: Springer International Publishing, 2014.
Automated Discovery of State Transitions and Their Functions in Source Code." Software Testing, Verification and Reliability 18 (2007): 99-121."
A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models. Deptartment of Computer Science, The University of Sheffield, 2007.