Conference proceedings papers
- Taylor R, Tuosto E, Walkinshaw N & Derrick J (2016) Choreography-Based Analysis of Distributed Message Passing Programs. 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), 17 February 2016 - 19 February 2016.
- Taylor R & Derrick J (2015) mu2: A Refactoring-Based Mutation Testing Framework for Erlang (pp 178-193)
- Taylor R & Derrick J (2015) Smother: an MC/DC analysis tool for Erlang. Proceedings of the 14th ACM SIGPLAN Workshop on Erlang - Erlang 2015, 4 September 2015 - 4 September 2015.
- Lamela Seijas P, Thompson S, Taylor R, Bogdanov K & Derrick J (2014) Synapse: Automatic behaviour inference and implementation comparison for Erlang. Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang (pp 73-74), 5 September 2014 - 5 September 2014.
- Walkinshaw N, Taylor R & Derrick J (2013) Inferring Extended Finite State Machine models from software executions. 2013 20th Working Conference on Reverse Engineering (WCRE), 14 October 2013 - 17 October 2013.
- Taylor R, Bogdanov K & Derrick J (2013) Automatic Inference of Erlang Module Behaviour (pp 253-267)
- Taylor R, Hall M, Bogdanov K & Derrick J (2012) Using Behaviour Inference to Optimise Regression Test Sets (pp 184-199)
- Taylor R (2012) Verification of Hardware Interaction Properties of Software (pp 308-322)
- Taylor R () Separation of Z Operations (pp 350-350)