Ramsay Taylor - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2016

Choreography-Based Analysis of Distributed Message Passing ProgramsRamsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick. pdp 2016: 512-519 [doi]

Inferring extended finite state machine models from software executionsNeil Walkinshaw, Ramsay Taylor, John Derrick. ese, 21(3):811-853, 2016. [doi]

2015

Smother: an MC/DC analysis tool for ErlangRamsay Taylor, John Derrick. erlang 2015: 13-18 [doi]

mu2: A Refactoring-Based Mutation Testing Framework for ErlangRamsay Taylor, John Derrick. pts 2015: 178-193 [doi]

2014

Synapse: automatic behaviour inference and implementation comparison for ErlangPablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick. erlang 2014: 73-74 [doi]

2013

Automatic Inference of Erlang Module BehaviourRamsay Taylor, Kirill Bogdanov, John Derrick. IFM 2013: 253-267 [doi]

Inferring Extended Finite State Machine models from software executionsNeil Walkinshaw, Ramsay Taylor, John Derrick. WCRE 2013: 301-310 [doi]

2012

Verification of Hardware Interaction Properties of SoftwareRamsay Taylor. asm 2012: 308-322 [doi]

Verification of hardware dependent softwareRamsay Taylor. PhD thesis, University of Sheffield, UK, 2012. [doi]

Using Behaviour Inference to Optimise Regression Test SetsRamsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick. pts 2012: 184-199 [doi]

2008

Separation of Z OperationsRamsay Taylor. asmta 2008: 350 [doi]

Sign in or sign up to see more results.

runs on WebDSL