According to our database1, Ramsay Taylor authored at least 11 papers between 2008 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Inferring extended finite state machine models from software executions.
Empirical Software Engineering, 2016
Choreography-Based Analysis of Distributed Message Passing Programs.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016
mu2: A Refactoring-Based Mutation Testing Framework for Erlang.
Proceedings of the Testing Software and Systems, 2015
Smother: an MC/DC analysis tool for Erlang.
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015
Synapse: automatic behaviour inference and implementation comparison for Erlang.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014
Inferring Extended Finite State Machine models from software executions.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013
Automatic Inference of Erlang Module Behaviour.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Verification of hardware dependent software.
PhD thesis, 2012
Using Behaviour Inference to Optimise Regression Test Sets.
Proceedings of the Testing Software and Systems, 2012
Verification of Hardware Interaction Properties of Software.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
Separation of Z Operations.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008