Ramsay Taylor

According to our database1, Ramsay Taylor authored at least 11 papers between 2008 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
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

2015
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

2014
Synapse: automatic behaviour inference and implementation comparison for Erlang.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013
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

2012
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

2008
Separation of Z Operations.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008


  Loading...