Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans

Referencia: TIN2015-70560-R

Tipo: Proyecto de investigación
Programa financiador: Plan Estatal 2013-2016 Retos - Proyectos I+D+i
Entidad financiadora: Ministerio de Economía y Competitividad
Ámbito: Nacional
Convocatoria competitiva:
Fecha de inicio: 01/01/2016
Fecha de fin: 31/12/2019
Participantes en la financiación
Nombre Rol
Resinas Arias de Reyna, Manuel Responsable
Ruiz Cortés, Antonio Responsable
Benavides Cuevas, David Investigador/a
Gutiérrez Fernández, Antonio Manuel Investigador/a
Bernárdez Jiménez, Beatriz Investigador/a
Márquez Chamorro, Alfonso Eduardo Investigador/a
Martín Díaz, Octavio Investigador/a
Pastor Saenz, Rafael Investigador/a
Galindo Duarte, José Ángel Investigador/a
García Rodríguez, José María Investigador/a
Gámez Díaz, Antonio Investigador/a
Müller Cejás, Carlos Investigador/a
Cruz Risco, Margarita Investigador/a
Sánchez Jerez, Ana Belén Investigador/a
Fernández Montes, Pablo Investigador/a
Durán Toro, Amador Investigador/a
del Río Ortega, Adela Investigador/a
Peña Siles, Joaquín Investigador/a
Martín López, Alberto Investigador/a
Cabanillas Macías, Cristina Investigador/a
Trinidad Martín-Arroyo, Pablo Investigador/a
Troya Castilla, Javier Investigador/a
García Galán, Jesús Investigador/a
Parejo Maestre, José Antonio Investigador/a
Estrada Torres, Irene Bedilia Investigador/a
Segura Rueda, Sergio Investigador/a
Publicaciones relacionadas
Tipo Año Título Fuente
Artículo 2021 Automated validation of compensable SLAs IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo 2021 Performance mutation testing SOFTWARE TESTING VERIFICATION & RELIABILITY
Artículo 2020 Many-objective test suite generation for software product lines ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Ponencia 2019 A Hybrid Reliability Metric for SLA Predictive Monitoring SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING
Artículo 2019 A local and global tour on MOMoT SOFTWARE AND SYSTEMS MODELING
Artículo 2019 Automated analysis of feature models: Quo vadis? Computing: archives for scientific computing
Ponencia 2019 Eagle: A Team Practices Audit Framework for Agile Software Development ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Artículo 2019 Measuring Performance in Knowledge-intensive Processes ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Ponencia 2019 Metamorphic Relation Patterns for Query-Based Systems 2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019)
Artículo 2019 Modeling variability in the video domain: language and experience report SOFTWARE QUALITY JOURNAL
Artículo 2019 Replication of studies in empirical software engineering: a systematic mapping study from 2013 to 2018 IEEE ACCESS
Ponencia 2019 Study of Trivial Compiler Equivalence on C plus plus Object-Oriented Mutation Operators SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING
Ponencia 2019 The Role of Limitations and SLAs in the API Industry ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING
Artículo 2019 Trading Accuracy for Performance in Data Processing Applications JOURNAL OF OBJECT TECHNOLOGY
Artículo 2019 Visual ppinot: A Graphical Notation for Process Performance Indicators BUSINESS & INFORMATION SYSTEMS ENGINEERING
Artículo 2018 Automated inference of likely metamorphic relations for model transformations JOURNAL OF SYSTEMS AND SOFTWARE
Artículo 2018 Full contract verification for ATL using symbolic execution SOFTWARE AND SYSTEMS MODELING
Ponencia 2018 Metamorphic Testing 20 Years Later: A Hands-on Introduction PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION
Artículo 2018 Metamorphic testing of RESTful Web APIs IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Ponencia 2018 On the relationships between decision management and performance measurement ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018
Artículo 2018 Performance metamorphic testing: A Proof of concept INFORMATION AND SOFTWARE TECHNOLOGY
Artículo 2018 Predictive Monitoring of Business Processes: A Survey IEEE TRANSACTIONS ON SERVICES COMPUTING
Artículo 2018 Spectrum-Based Fault Localization in Model Transformations ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Artículo 2018 Spectrum-based fault localization in software product lines INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia 2017 A new framework for defining realistic SLAs: An evidence-based approach BUSINESS PROCESS MANAGEMENT FORUM
Ponencia 2017 A Template-Based Approach to Describing Metamorphic Relations 2017 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2017)
Artículo 2017 Assessment of C++ object-oriented mutation operators: A selective mutation approach SOFTWARE TESTING VERIFICATION & RELIABILITY
Ponencia 2017 Domain-Specific Languages and Model Transformations for Software Product Line 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1
Artículo 2017 Edge and Cloud Pricing for the Sharing Economy IEEE INTERNET COMPUTING
Ponencia 2017 Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017)
Ponencia 2017 Improve performance management in flexible business processes 21ST INTERNATIONAL SYSTEM & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 2
Artículo 2017 Model transformation modularization as a many-objective optimization problem IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Artículo 2017 Modeling Service Level Agreements with Linked USDL Agreement IEEE TRANSACTIONS ON SERVICES COMPUTING
Ponencia 2017 Modelling and Analysing Highly-Configurable Services 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1
Ponencia 2017 Performance Metamorphic Testing: Motivation and Challenges 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS TRACK (ICSE-NIER)
Artículo 2017 Reverse engineering language product lines from existing DSL variants JOURNAL OF SYSTEMS AND SOFTWARE
Artículo 2017 Run-time prediction of business process indicators using evolutionary decision rules EXPERT SYSTEMS WITH APPLICATIONS
Artículo 2016 A Survey on Metamorphic Testing IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Artículo 2016 Multi-objective test case prioritization in highly configurable systems: a case study JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia 2016 Search-based model transformations JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS
Artículo 2016 SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Artículo 2016 Traceability Analyses between Features and Assets in Software Product Lines ENTROPY
Nota: la fuente de financiación de las publicaciones se ha obtenido de WOS