M
Macario Polo Usaola
Researcher at University of Castilla–La Mancha
Publications - 20
Citations - 145
Macario Polo Usaola is an academic researcher from University of Castilla–La Mancha. The author has contributed to research in topics: Software construction & Test case. The author has an hindex of 6, co-authored 20 publications receiving 142 citations.
Papers
More filters
Proceedings Article
SOFTWARE PRODUCT LINE TESTING - A Systematic Review
TL;DR: The objective is to analyse the existing approaches to testing in software product lines, discussing the significant issues related to this area of knowledge and providing an up-to-date state of the art which can serve as a basis for innovative research activities.
Proceedings ArticleDOI
Automated model-based testing using the UML testing profile and QVT
Beatriz Pérez Lamancha,Pedro Reales Mateo,Ignacio García Rodríguez de Guzmán,Macario Polo Usaola,Mario Piattini Velthius +4 more
TL;DR: An approach for model-based testing which is completely based on standards, what constitutes an essential factor for its implantation in industrial software tools and the transformation process is based on QVT scripts, a transformation language also adopted by the OMG.
Proceedings ArticleDOI
Test Case Generation with Regular Expressions and Combinatorial Techniques
Macario Polo Usaola,Francisco Ruiz Romero,Rosana Rodriguez-Bobada Aranda,Ignacio Garcia Rodriguez +3 more
TL;DR: A method to describe generic test scenarios by means of regular expressions, whose symbols point to a SUT operation, which are annotated with a set of when clauses that are processed by the combinatorial algorithm to include the oracle in the generated test cases.
Journal ArticleDOI
MANTOOL: a tool for supporting the software maintenance process
TL;DR: An automatic tool for managing the software maintenance process according to MANTEMA, a rigorous methodology for maintenance, and how MANTOOL allows users to manage modification requests following the different stages of the methodology.
Proceedings ArticleDOI
An Architecture for the Development of Mutation Operators
TL;DR: An abstract specification of mutation operators is introduced that has been used to create traditional operators and is currently using to define and implement mutation operators for context-aware, mobile applications that comeproceed from a list of common errors reported by three companies.