Extracting QuickCheck specifications from EUnit test cases. - Thomas Arts; Pablo Lamela Seijas; Simon J. Thompson (Erlang Workshop, 2011)

Towards property-based testing of RESTful web services. - Pablo Lamela Seijas; Huiqing Li; Simon J. Thompson (Erlang Workshop, 2013)

Synapse: automatic behaviour inference and implementation comparison for Erlang. - Pablo Lamela Seijas; Simon J. Thompson; Ramsay Taylor; Kirill Bogdanov 002; John Derrick (Erlang Workshop, 2014)

Automating property-based testing of evolving web services. - Huiqing Li; Simon J. Thompson; Pablo Lamela Seijas; Miguel Angel Francisco (PEPM, 2014)

Identifying and introducing interfaces and callbacks using Wrangler. - Pablo Lamela Seijas; Simon J. Thompson (IFL, 2016)

Scripting smart contracts for distributed ledger technology. - Pablo Lamela Seijas; Simon J. Thompson; Darryl McAdams (IACR Cryptol. ePrint Arch., 2016)

Model construction, evolution, and use in testing of software systems. - Pablo Lamela Seijas (2017)

Marlowe: Financial Contracts on Blockchain. - Pablo Lamela Seijas; Simon J. Thompson (ISoLA (4), 2018)

Model extraction and test generation from JUnit test suites. - Pablo Lamela Seijas; Simon J. Thompson; Miguel Angel Francisco (Softw. Qual. J., 2018)

Marlowe: Implementing and Analysing Financial Contracts on Blockchain. - Pablo Lamela Seijas; Alexander Nemish; David Smith; Simon J. Thompson (Financial Cryptography Workshops, 2020)

Efficient Static Analysis of Marlowe Contracts. - Pablo Lamela Seijas; David Smith; Simon J. Thompson (ISoLA (3), 2020)

Standardized Crypto-Loans on the Cardano Blockchain. - Dmytro Kondratiuk; Pablo Lamela Seijas; Alexander Nemish; Simon J. Thompson (Financial Cryptography Workshops, 2021)