Publications

 
2014
Validación de tiempos de respuesta usando pruebas basadas en propiedades
Macías López, Laura M. Castro
In Proceedings of the Spanish Jornadas de Programación y Lenguajes (PROLE’14), Cadiz, Spain, September 17-19, 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
A Testing-based Approach to Ensure the Safety of Shared Resource Concurrent Systems
Lars-Ake Fredlund, Angel Herranz and Julio Mariño
1st International Workshop on Safety and Formal Methods (SaFoMe 2014), co-located with the 12th International Conference on Software Engineering and Formal Methods (SEFM)
Grenoble, France, September 1-5, 2014
Teaching Students Property-Based Testing
Clara Benac Earle, Lars-Ake Fredlund, Julio Mariño and Thomas Arts
Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2014), Special Session on Teaching, Education and Training for Dependable Embedded Systems, Robotics, Systems-of-Systems – software and hardware development.
Verona, Italy, August 27-29, 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
An expressive semantics for mocking
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell and John Hughes
In proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, April 2014
Combining Fault-Injection with Property-Based Testing
Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson
In Proceedings of the International Workshop on Engineering Simulations for Cyber-Physical Systems, {ES4CPS} ’14, Dresden, Germany, March 28 – 28, 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
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