Ramsay G. Taylor
Title
Cited by
Cited by
Year
Inferring extended finite state machine models from software executions
N Walkinshaw, R Taylor, J Derrick
Empirical Software Engineering 21 (3), 811-853, 2016
1562016
Using behaviour inference to optimise regression test sets
R Taylor, M Hall, K Bogdanov, J Derrick
IFIP International Conference on Testing Software and Systems, 184-199, 2012
172012
Spinal cord injury: its many complications.
RG Taylor
American family physician 8 (4), 138-146, 1973
71973
Formalising extended finite state machine transition merging
M Foster, RG Taylor, AD Brucker, J Derrick
International Conference on Formal Engineering Methods, 373-387, 2018
62018
StateChum
K Bogdanov, N Walkinshaw, R Taylor
42016
Automatic inference of erlang module behaviour
R Taylor, K Bogdanov, J Derrick
International Conference on Integrated Formal Methods, 253-267, 2013
42013
Choreography-based analysis of distributed message passing programs
R Taylor, E Tuosto, N Walkinshaw, J Derrick
2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016
32016
Incorporating data into efsm inference
M Foster, AD Brucker, RG Taylor, S North, J Derrick
International Conference on Software Engineering and Formal Methods, 257-272, 2019
22019
Synapse: automatic behaviour inference and implementation comparison for Erlang
P Lamela Seijas, S Thompson, R Taylor, K Bogdanov, J Derrick
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 73-74, 2014
22014
Verification of hardware interaction properties of software
R Taylor
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
22012
Separation of Z operations
R Taylor
ABZ2008 Conference, 2008
22008
A Formal Model of Extended Finite State Machines
M Foster, AD Brucker, RG Taylor, J Derrick
AFP, 2020
12020
Inference of Extended Finite State Machines
M Foster, AD Brucker, RG Taylor, J Derrick
AFP, 2020
12020
mu2: A Refactoring-Based Mutation Testing Framework for Erlang
R Taylor, J Derrick
IFIP International Conference on Testing Software and Systems, 178-193, 2015
12015
Smother: an MC/DC analysis tool for Erlang
R Taylor, J Derrick
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 13-18, 2015
12015
Verification of hardware dependent software.
R Taylor
University of Sheffield, UK, 2012
12012
D3. 2 Report on techniques for modelling the differences between successive implementations of a system, and prototype implementation of the work.
R Taylor, J Derrick, PL Seijas, S Thompson
2014
D3. 1: Interface compliance tools and techniques
N Smallbone, T Arts, S Thompson, R Taylor
2014
D5. 3/Interim report on mutation testing
R Taylor, J Derrick
D3. 3 Report on tools and techniques to model, in an uniform way, the differences between different versions of a system, which are parametrised or configured in different ways.
R Taylor, PL Seijas, J Derrick, S Adams, S Thompson
The system can't perform the operation now. Try again later.
Articles 1–20