Skip to main content
Kent Academic Repository

Items where Author, Editor or other role is "Lamela-Seijas, Pablo"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: A | L | T
Number of items: 6.

A

Arts, Thomas, Lamela Seijas, Pablo, Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. . pp. 182-196. ACM Press (doi:10.1145/2034654.2034666) (KAR id:30725)
Format: PDF

L

Lamela Seijas, Pablo and Thompson, Simon and Taylor, Ramsay and Bogdanov, Kirill and Derrick, John (2014) Synapse: automatic behaviour inference and implementation comparison for Erlang. Technical report. University of Kent (Unpublished) (KAR id:42784)
Format: PDF

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. ICFP International Conference on Functional Programming . ACM, New York, USA, pp. 77-78. ISBN 978-1-4503-2385-7. (doi:10.1145/2505305.2505317) (KAR id:42310)
Format: PDF

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (KAR id:34865)
Format: PDF

T

Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Lecture Notes in Computer Science . Springer-Verlag Berlin, Switzerland. ISBN 978-3-030-03427-6. (doi:10.1007/978-3-030-03427-6_27) (KAR id:69846)
Format: PDF Format: PDF

Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. [Preprint] (doi:Paper 2016/1156) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:61162)

This list was generated on Thu Mar 28 20:10:26 2024 GMT.