Miguel Angel Francisco

Learn More
In this work, we face the problem of generating good quality test suites and test cases for web services. We present a framework to test web services based on their formal description, following a black-box approach and using Property-Based Testing. Web services are a popular solution to integrate components when building a software system, or to allow(More)
Model-Based Testing and Property-Based Testing are two testing methodologies that usually facilitate the automation of the generation of test cases, using either models or properties as basis to derive complete test suites. In doing so, they also contribute to reduce both the source code needed for testing purposes and the time spent on writing those tests,(More)
In this paper a general procedure for tuning multivariable model predictive controllers (MPC) with constraints is presented. It has been applied to tune the control system of an activated sludge process control in a wastewater treatment plant. Control system parameters are obtained by solving a mixed sensitivity optimization problem, defined in terms of the(More)
This work presents an algorithmic approach to allow for the Integrated Design of processes and their control systems taking into account the controllability and the stability properties of the resulting system. The application of the proposed method has been carried out taking as an example model an alternative configuration to an activated sludge process(More)
In this paper a general procedure for tuning multivariable model predictive controllers (MPC) with constraints is presented. It has been applied to tune the control system of an activated sludge process control in a wastewater treatment plant. Control system parameters are obtained by solving a mixed sensitivity optimization problem, defined in terms of the(More)
Web services are the most widely used service technology that drives the Service-Oriented Computing~(SOC) paradigm. As a result, effective testing of web services is getting increasingly important. In this paper, we present a framework and toolset for testing web services and for evolving test code in sync with the evolution of web services. Our approach to(More)
Integrated design is based on the idea of including dynamic constraints such as stability or controllability, on the early stages of process design. Hence not only the a system's parameter are calculated but also a controller. In this work we present a methodology to integrated Design that allows to compute the optimal parameters or the system, along with(More)
1 Abstract In this project we apply machine learning techniques to build a music genre classifier. Focusing on the sonic properties of music, as opposed to metadata, we examine the classification accuracy of two types of features coefficients, Mel-Frequency Cepstral Coefficients and Chroma Features, using multi-class support vector machines. We hope to(More)