Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 8.

Article

Arts, Thomas and Earle, Clara Benac and Derrick, John (2003) Development of a Verified Erlang Program for Resource Locking. Software Tools for Technology Transfer (STTT), 5 (2). pp. 205-220. ISSN 1433-2779 . (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)

Book section

Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon (2010) Property-Based Testing - The ProTest Project. In: Formal Methods for Components and Objects. Lecture Notes in Computer Science, 6286 . Springer, pp. 250-271. ISBN 9783642170706. (Full text available)
[img]
Preview

Conference or workshop item

Arts, Thomas and Lamela Seijas, Pablo and Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Erlang Workshop 2011. (Full text available)
[img]
Preview

Li, Huiqing and Thompson, Simon and Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Proceedings of the Refactoring and Testing Workshop (RefTest 2011). (Full text available)
[img]
Preview

Arts, Thomas and Thompson, Simon (2010) From Test Cases to FSMs: Augmented Test-driven Development and Property Inference. In: Erlang'10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. (Full text available)
[img]
Preview

Arts, Thomas and Earle, Clara Benac and Penas, Juan José Sánchez (2004) Translating Erlang to muCRL. In: Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004), JUN 16-18, 2004, Hamilton, Canada. (Full text available)
[img]
Preview
[img]
Preview

Arts, Thomas and Earle, Clara Benac and Derrick, John (2002) Verifying Erlang code: a resource locker case-study. In: In Proc. Formal Methods Europe: Getting IT Right, Copenhagen, Denmark. (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)

Chitil, Olaf (2001) A Semantics for Tracing. In: Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001. (Full text available)
[img]
Preview

This list was generated on Mon Jul 6 20:36:17 2015 BST.