Follow
Pablo Lamela Seijas
Pablo Lamela Seijas
Research Associate, University of Kent, UK
Verified email at kent.ac.uk - Homepage
Title
Cited by
Cited by
Year
Scripting smart contracts for distributed ledger technology
P Lamela Seijas, S Thompson, D McAdams
107*2016
Marlowe: Financial Contracts on Blockchain
P Lamela Seijas, S Thompson
International Symposium on Leveraging Applications of Formal Methods, 356-375, 2018
492018
Marlowe: implementing and analysing financial contracts on blockchain
P Lamela Seijas, A Nemish, D Smith, S Thompson
292020
Towards Property-Based Testing of RESTful Web Services
P Lamela Seijas, H Li, S Thompson
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 77-78, 2013
252013
Extracting QuickCheck specifications from EUnit test cases
T Arts, P Lamela Seijas, S Thompson
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 62-71, 2011
142011
Automating Property-based Testing of Evolving Web Services
H Li, S Thompson, P Lamela Seijas, MÁ Francisco
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014
122014
Model extraction and test generation from JUnit test suites
P Lamela Seijas, S Thompson, MÁ Francisco
Proceedings of the 11th International Workshop on Automation of Software …, 2016
82016
Making Property-Based Testing Easier to Read for Humans
LM Castro, P Lamela Seijas, S Thompson
Computing & Informatics 35 (4), 2016
52016
Scripting smart contracts for distributed ledger technology
S Thompson, P Lamela Seijas, D McAdams
Cryptology ePrint Archive, 2016
42016
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
32014
Efficient Static Analysis of Marlowe Contracts
P Lamela Seijas, D Smith, S Thompson
International Symposium on Leveraging Applications of Formal Methods, 161-177, 2020
22020
Model construction, evolution, and use in testing of software systems
P Lamela Seijas
University of Kent, 2017
1*2017
Identifying and introducing interfaces and callbacks using Wrangler
P Lamela Seijas, S Thompson
Proceedings of the 28th Symposium on the Implementation and Application of …, 2016
1*2016
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, P Lamela Seijas, J Derrick, S Adams, S Thompson
2015
D2.3 Property extraction
P Lamela Seijas, S Thompson, MÁ Francisco
2014
D2.5 Properties in semi-natural language
LM Castro, P Lamela Seijas
2014
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, P Lamela Seijas, S Thompson
2014
D3.4 Prototype for Property Evolution
H Li, S Thompson, P Lamela Seijas, MÁ Francisco
2013
Visualizing-EUnit-tests
T Arts, S Thompson, P Lamela Seijas
2011
Improving FSM reverse engineering for test development in Erlang
P Lamela Seijas
Chalmers University of Technology, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20