Publications

 
2014
Synapse: automatic behaviour inference and implementation comparison for Erlang
Pablo Lamela Seijas, Simon Thompson, Ramsay Taylor, Kirill Bogdanov and John Derrick
Poster In Proceedings Erlang workshop 2014, Gothenburg, Sweden, September 5, 2014
Jsongen: a QuickCheck Based Library for Testing JSON Web Services
Clara Benac Earle, Lars-Ake Fredlund, Angel Herranz and Julio Mariño
In Proceedings Erlang workshop 2014, Gothenburg, Sweden, September 5, 2014
On Shrinking Randomly Generated Load Tests
Thomas Arts
In Proceedings Erlang workshop 2014, Gothenburg, Sweden, September 5, 2014
Property-based Testing of JSON based web Services
Clara Benac Earle, Lars-Ake Fredlund, Angel Herranz and Julio Mariño
In Proceedings of the 21 IEEE International Conference on Web Services (ICWS 2014), Anchorage, Alaska, USA, June 27 – July 2, 2014
Automating Property-based Testing of Evolving Web Services
Huiqing Li, Simon Thompson, Pablo Lamela Seijas and Miguel Ángel Francisco
PEPM 2014, San Diego, California, USA, January 20-21, 2014
2013
Automatic Generation of Test Models for Web Services using WSDL and OCL
Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro
In Proceedings of the International Conference on Service Oriented Computing (ICSOC’13), Berlin, Germany, Dec 2-5, 2013
Inferring Extended Finite State Machine Models from Software Executions
N. Walkinshaw, R. Taylor, and J. Derrick
In proceedings of WCRE 2013, Koblenz, Germany, October 14-17, 2013
Automated Testing of Time-Dependent Systems using Models and Properties
Macías López, Laura M. Castro, David Cabrero
Submitted to ASE’13
Turning Web Services Descriptions into QuickCheck Models for Automatic Testing
Macías López, Henrique Ferreiro, Miguel Ángel Francisco Fernández, Laura M. Castro
XII ACM SIGPLAN Erlang Workshop (ERLANG’13), Boston, USA, September 28, 2013
Testing blocking operations with QuickCheck’s component library
Ulf Norell, Hans Svensson, Thomas Arts
XII ACM SIGPLAN Erlang Workshop (ERLANG’13), Boston, USA, September 28, 2013
Towards property-based testing of RESTful Web Services
Pablo Lamela Seijas, Huiqing Li, Simon Thompson
XII ACM SIGPLAN Erlang Workshop (ERLANG’13), Boston, USA, September 28, 2013
Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos
M. López, H. Ferreiro, M. A. Francisco, and L. Castro
XIII Spanish Conference on Programming and Computer Languages (PROLE 2013), Madrid, Spain, September 17-20, 2013
Testing Java with QuickCheck
C. Benac Earle and L-A. Fredlund
XIII Spanish Conference on Programming and Computer Languages (PROLE 2013), Madrid, Spain, September 17-20, 2013
Uso de propiedades y modelos para las pruebas de sistemas distribuidos basados en la integración de componentes heterogéneos
Miguel A. Francisco, Laura M. Castro
V Spanish Workshop on Functional Programming (TPF 2013), Madrid, Spain, September 17, 2013
Requirements on automatically generated random test cases
Thomas Arts, Alex Gerdes, and Magnus Kronqvist
In proceedings of ATSE 2013, Kraków, Poland, Sep 8-11, 2013
A DSL for web services automatic test data generation
Macías López, Henrique Ferreiro, Laura M. Castro, Thomas Arts
In Proceedings of IFL2013, Nijmegen, The Netherlands, Aug 28-30, 2013
Automatic Inference of Erlang Module Behaviour
R. Taylor, K. Bogdanov, and J. Derrick
In proceedings of IFM 2013, Turku, Finland, June 10-14, 2013
An expressive semantics for mocking
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell and John Hughes
Submitted Mar 2013