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

Group by: Item Type | Date | No Grouping

Number of items: 5.

Conference or workshop item

Arts, Thomas and Seijas, Pablo Lamela and Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Erlang Workshop 2011. The full text of this publication is not available from this repository.

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). The full text of this publication is not available from this repository.

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. The full text of this publication is not available from this repository.

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.

Preview

Preview

Chitil, Olaf (2001) A Semantics for Tracing. In: Draft Proceedings of the 13th International Workshop on Implementation of Functional Languages, IFL 2001.

Preview

This list was generated on Sat May 18 17:09:20 2013 BST.