Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 9.
Monograph
| Thompson, Simon and Lamela Seijas, Pablo and Adams, Darryl (2016) Scripting smart contracts for distributed ledger technology. Technical report. Cryptology ePrint Archive (Unpublished) (Full text available) |
|
| 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) (Full text available) |
|
| 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) (Full text available) |
|
Conference or workshop item
| Thompson, Simon and Lamela Seijas, Pablo (2018) Marlowe: Financial Contracts on Blockchain. In: Lecture Notes in Computer Science. ISoLA 2018: 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%2F978-3-030-03427-6_27) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
| Lamela Seijas, Pablo and Thompson, Simon (2016) Identifying and introducing interfaces and callbacks using Wrangler. In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. ACM ISBN 978-1-4503-4767-9. (doi:https://doi.org/10.1145/3064899.3064909) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
| Li, Huiqing and Thompson, Simon and Lamela Seijas, Pablo and Francisco, Miguel Angel (2014) Automating property-based testing of evolving web services. In: Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'13). pp. 169-180. (doi:https://doi.org/10.1145/2543728.2543741) (Full text available) |
|
| Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Erlang '13 Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. Proceedings of the twelfth ACM SIGPLAN workshop on Erlang. Association for Computing Machinery, New York, USA pp. 77-78. ISBN 978-1-4503-2385-7. (doi:https://doi.org/10.1145/2505305.2505317) (Full text available) |
|
| Arts, Thomas and Lamela Seijas, Pablo and Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. ACM Press pp. 182-196. (Full text available) |
|
Thesis
| Lamela Seijas, Pablo (2017) Model construction, evolution, and use in testing of software systems. Doctor of Philosophy (PhD) thesis, University of Kent,. (Full text available) |
|
