Feasibily of property-based testing for time-dependent systems
| Authors | Macías López, Laura M. Castro, David Cabrero |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (pages 527 to 535) |
| Department | Mathematics |
| Knowledgment area | Statistics and Operational Research |
| Contacto | UDC directory |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
| Documentation and Health Statistics | Compulsory | 0 | 9 |
| Numerical and Statistical Methods | Compulsory | 0 | 44 |
| Statistics | Core | 0 | 67 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Documentation and Health Statistics
Degree in Physiotherapy
|
Compulsory | 0 | 9 |
|
Numerical and Statistical Methods
Degree in Nanoscience and Nanotechnology
|
Compulsory | 0 | 25 |
|
Statistics
Concurrent Programme of Studies for Degree in Biology and Degree in Chemistry
Degree in Biology
|
Core | 0 | 56 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Data Science
Degree on Digital Management of Information and Documents
|
Core | 0 | 44 |
|
Fundamentals of Statistics
Degree on Digital Management of Information and Documents
|
Core | 0 | 44 |
|
Mathematical Optimisation
Degree in Data Science and Engineering
|
Compulsory | 0 | 18 |
Defined tutoring by teacher for 2024/2025 academic course.
| Quarter | Day | Site |
|---|---|---|
| 2nd quarter |
Monday
15:00 a 17:00 |
Sala común do edificio anexo do aparcamento |
| 2nd quarter |
Monday
18:00 a 19:00 |
Sala común do edificio anexo do aparcamento |
| 2nd quarter |
Wednesday
17:00 a 18:00 |
Sala común do edificio anexo do aparcamento |
| 2nd quarter |
Wednesday
19:00 a 21:00 |
Sala común do edificio anexo do aparcamento |
No available EOG works or final master thesis directed by current teacher since 2013 year.
Select merit type and year to query research merits.
Feasibily of property-based testing for time-dependent systems
| Authors | Macías López, Laura M. Castro, David Cabrero |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (pages 527 to 535) |
Tuning web services descriptions into QuickCheck models for automatic Testing
ERLANG 2013
International
| Authors | Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García, Miguel A. Francisco |
| Organization | ACM |
| Place | Boston, Massachusetts (Estados Unidos) |
Using Property-Based Testing in Time-Dependent Systems: a case study
International Conference On Computer Aided Systems Theory. Eurocast 2013
International
| Authors | Macías López Iglesias, Laura M. Castro Souto, David Cabrero Souto |
| Organization | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Place | Palmas de Gran Canaria, Las (España) |
Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
National
| Authors | Macías López Iglesias, Laura M. Castro Souto, Henrique Ferreiro García, Miguel A. Francisco |
| Organization | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Place | Madrid (España) |
Automatic generation of test models for Web Services using WSDL and OCL
11th International Conference on Service Oriented Computing (ICSOC 2013)
International
| Authors | Miguel A. Francisco, Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García |
| Organization | IBM RESEARCH |
| Place | Berlín (Alemania) |
A DSL for Web Services Automatic Test Data Generation
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
International
| Authors | Macías López Iglesias, Henrique Ferreiro García, Laura M. Castro Souto, Thomas Arts |
| Organization | ACM |
| Place | Nijmegen (Países Bajos) |
Declarative Distributed Advertisement System for IDTV: an Industrial Experience
Principles and Practice of Declarative Programming PPDP'12 - ACM SIGPLAN
International
| Authors | Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias |
| Organization | ACM |
| Place | Leuven (Bélgica) |
Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure
ERLANG USER CONFERENCE 2012
International
| Authors | David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto |
| Organization | ACM |
| Place | Copenhague (Dinamarca) |
Sistema funcional distribuido de publicidad para IDTV
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
National
| Authors | Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto |
| Organization | Universidad de Almería (UAL) |
| Place | Almería (España) |