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

Group by: Item Type | Date | No Grouping

2011 2010 2004 2001

Number of items: 5.

2011

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.

2010

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.

2004

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

2001

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 Fri May 24 11:51:29 2013 BST.