S. Nair, N. Walkinshaw, T. Kelly and J. L. de la Vara. An Evidential Reasoning Approach for Assessing Confidence in Safety Evidence. Simula Research Laboratory, 2014.

• Google Scholar
• BibTeX

evicatechreport.pdf (3.58 MB)

S. Nair, N. Walkinshaw and T. Kelly. 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.

• Google Scholar
• BibTeX

sassur2014.pdf (297.59 KB)

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 18 (2007): 99-121.

• Google Scholar
• BibTeX

S. Ali, K. Bogdanov and N. Walkinshaw. A Comparative Study of Methods for Dynamic Reverse-Engineering of State Models. Deptartment of Computer Science, The University of Sheffield, 2007.

• Google Scholar
• BibTeX