| Inferring extended finite state machine models from software executions N Walkinshaw, R Taylor, J Derrick Empirical software engineering 21 (3), 811-853, 2016 | 247 | 2016 |
| Using behaviour inference to optimise regression test sets R Taylor, M Hall, K Bogdanov, J Derrick IFIP International Conference on Testing Software and Systems, 184-199, 2012 | 23 | 2012 |
| Formalising extended finite state machine transition merging M Foster, RG Taylor, AD Brucker, J Derrick International Conference on Formal Engineering Methods, 373-387, 2018 | 11 | 2018 |
| Incorporating data into efsm inference M Foster, AD Brucker, RG Taylor, S North, J Derrick International Conference on Software Engineering and Formal Methods, 257-272, 2019 | 8 | 2019 |
| Synapse: automatic behaviour inference and implementation comparison for Erlang P Lamela Seijas, S Thompson, R Taylor, K Bogdanov, J Derrick Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 73-74, 2014 | 5 | 2014 |
| A formal model of extended finite state machines M Foster, AD Brucker, RG Taylor, J Derrick AFP, 2020 | 4 | 2020 |
| Choreography-based analysis of distributed message passing programs R Taylor, E Tuosto, N Walkinshaw, J Derrick 2016 24th Euromicro International Conference on Parallel, Distributed, and …, 2016 | 4 | 2016 |
| StateChum K Bogdanov, N Walkinshaw, R Taylor | 4 | 2016 |
| Automatic inference of erlang module behaviour R Taylor, K Bogdanov, J Derrick International Conference on Integrated Formal Methods, 253-267, 2013 | 4 | 2013 |
| Smother: an MC/DC analysis tool for Erlang R Taylor, J Derrick Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 13-18, 2015 | 3 | 2015 |
| Inference of extended finite state machines M Foster, AD Brucker, RG Taylor, J Derrick AFP, 2020 | 2 | 2020 |
| mu2: A Refactoring-Based Mutation Testing Framework for Erlang R Taylor, J Derrick IFIP International Conference on Testing Software and Systems, 178-193, 2015 | 2 | 2015 |
| Verification of hardware interaction properties of software R Taylor International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012 | 2 | 2012 |
| Separation of Z operations R Taylor ABZ2008 Conference, 2008 | 2 | 2008 |
| Verification of hardware dependent software. R Taylor University of Sheffield, UK, 2012 | 1 | 2012 |
| An automated framework for verifying or refuting trace properties of extended finite state machines RG Taylor, M Foster, S North International Journal on Software Tools for Technology Transfer 24 (6), 949-972, 2022 | | 2022 |
| D3. 2 Report on techniques for modelling the differences between successive implementations of a system, and prototype implementation of the work. R Taylor, J Derrick, PL Seijas, S Thompson | | 2014 |
| D3. 1: Interface compliance tools and techniques N Smallbone, T Arts, S Thompson, R Taylor | | 2014 |
| D5. 3/Interim report on mutation testing R Taylor, J Derrick | | |
| D3. 3 Report on tools and techniques to model, in an uniform way, the differences between different versions of a system, which are parametrised or configured in different ways. R Taylor, PL Seijas, J Derrick, S Adams, S Thompson | | |
