Ramsay Taylor

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 2

Top Topics

Top Venues

Erlang Workshop

Empir. Softw. Eng.

University of Sheffield, UK (PHD)

Education History

University of Sheffield, UK

PHD

Publications

Neil Walkinshaw, Ramsay Taylor, John Derrick
Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21 (3) (2016)
Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick
Choreography-Based Analysis of Distributed Message Passing Programs. PDP (2016)
Ramsay Taylor, John Derrick
Smother: an MC/DC analysis tool for Erlang. Erlang Workshop (2015)
Ramsay Taylor, John Derrick
mu2: A Refactoring-Based Mutation Testing Framework for Erlang. ICTSS (2015)
Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick
Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop (2014)
Neil Walkinshaw, Ramsay Taylor, John Derrick
Inferring Extended Finite State Machine models from software executions. WCRE (2013)
Ramsay Taylor, Kirill Bogdanov, John Derrick
Automatic Inference of Erlang Module Behaviour. IFM (2013)
Ramsay Taylor
Verification of Hardware Interaction Properties of Software. ABZ (2012)
Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick
Using Behaviour Inference to Optimise Regression Test Sets. ICTSS (2012)
Ramsay Taylor
Separation of Z Operations. ABZ (2008)