Follow
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, 811-853, 2016
2122016
Using behaviour inference to optimise regression test sets
R Taylor, M Hall, K Bogdanov, J Derrick
Testing Software and Systems: 24th IFIP WG 6.1 International Conference …, 2012
212012
Formalising extended finite state machine transition merging
M Foster, RG Taylor, AD Brucker, J Derrick
Formal Methods and Software Engineering: 20th International Conference on …, 2018
92018
Incorporating data into efsm inference
M Foster, AD Brucker, RG Taylor, S North, J Derrick
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
62019
StateChum
K Bogdanov, N Walkinshaw, R Taylor
42016
Automatic inference of erlang module behaviour
R Taylor, K Bogdanov, J Derrick
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013
42013
A formal model of extended finite state machines
M Foster, AD Brucker, RG Taylor, J Derrick
AFP, 2020
32020
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
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
32014
Inference of extended finite state machines
M Foster, AD Brucker, RG Taylor, J Derrick
AFP, 2020
22020
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
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
mu2: A Refactoring-Based Mutation Testing Framework for Erlang
R Taylor, J Derrick
Testing Software and Systems: 27th IFIP WG 6.1 International Conference …, 2015
12015
Verification of hardware dependent software
RG Taylor
University of Sheffield, 2012
12012
An automated framework for verifying or refuting trace properties of extended finite state machines
RG Taylor, M Foster, S North
International Journal on Software Tools for Technology Transfer 24 (6), 949-972, 2022
2022
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