Search For:

Displaying 1-14 out of 14 total
Validating Second-Order Mutation at System Level
Found in: IEEE Transactions on Software Engineering
By Pedro Reales Mateo,Macario Polo Usaola,José Luis Fernández Alemán
Issue Date:April 2013
pp. 570-587
Mutation has been recognized to be an effective software testing technique. It is based on the insertion of artificial faults in the system under test (SUT) by means of a set of mutation operators. Different operators can mutate each program statement in s...
Test Automation
Found in: IEEE Software
By Macario Polo,Pedro Reales,Mario Piattini,Christof Ebert
Issue Date:January 2013
pp. 84-89
Testing is a destructive task in which the goal is to find relevant defects as early as possible. It requires automation to reduce cost and ensure high regression, thus delivering determined quality. This article reviews technologies for test automation.
Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases
Found in: 2012 IEEE International Conference on Software Maintenance (ICSM)
By Pedro Reales Mateo,Macario Polo Usaola
Issue Date:September 2012
pp. 646-649
Mutation testing is one of the most effective techniques to evaluate the quality of a test suites. Due to its tasks and its costs, a tool to automate and reduce costs of mutation testing is required, in order to perform mutation analyses. Bacterio is a Jav...
Mutant Execution Cost Reduction: Through MUSIC (Mutant Schema Improved with Extra Code)
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Pedro Reales Mateo,Macario Polo Usaola
Issue Date:April 2012
pp. 664-672
Mutation testing is a very effective testing technique that creates mutants (copies of the original system with small syntactic changes) in order to design test cases that kill the mutants (identifying the syntactic changes). The main disadvantage of mutat...
Testing-Based Selection Method for Integrability on Service-Oriented Applications
Found in: Software Engineering Advances, International Conference on
By Andres Flores, Alejandra Cechich, Alejandro Zunino, Macario Polo Usaola
Issue Date:August 2010
pp. 373-379
Service-Oriented Computing allows building applications by reusing web-accessible services. However, current approaches still involve a large effort both at discovery of services and their successful integration. This paper presents a novel approach to hel...
Mutation Testing Cost Reduction Techniques: A Survey
Found in: IEEE Software
By Macario Polo Usaola, Pedro Reales Mateo
Issue Date:May 2010
pp. 80-86
Since the 1970s, researchers have widely used mutation as a testing technique, applying mainly it to validate test suites, as well as to validate test case strategies and test data generation. Mutation today is sufficiently mature for industrial applicatio...
Mutation at System and Functional Levels
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Pedro Reales Mateo, Macario Polo Usaola, Jeff Offutt
Issue Date:April 2010
pp. 110-119
Mutation analysis has been applied to many testing problems, including functional programs in numerous languages, specifications, network protocols, web services, and security policies. Program mutation, where mutation analysis is applied to programs, has ...
PRECISO: A Reverse Engineering Tool to Discover Web Services from Relational Databases
Found in: Reverse Engineering, Working Conference on
By Ricardo Pérez-Castillo, Ignacio García-Rodríguez de Guzmán, Ismael Caballero, Macario Polo, Mario Piattini
Issue Date:October 2009
pp. 309-310
There is a real need for SOA principles, such as those offering software as services, in the software industry. In this effort, databases (one of the most important artifacts in Information Systems) can be also seen as a set of services offering access to ...
.Net Approach to Run-Time Component Integration
Found in: Web Congress, Latin American
By Andres Flores, Ignacio Garcia, Macario Polo
Issue Date:November 2005
pp. 45-48
This work is related to the area of Component-based Software Development. We intend to automate a Component Integration Process as a support for run-time adjustments of applications, when the environment involves highly dynamic changes of requirements. Thi...
An Integrated Environment for Reengineering
Found in: Software Maintenance, IEEE International Conference on
By Ignacio García-Rodríguez de Guzmán, Macario Polo, Mario Piattini
Issue Date:September 2005
pp. 165-174
<p>This paper presents a tool specifically designed for database reengineering. As is well known, reengineering is the process of (1) applying reverse engineering to a software product to get higher-level specifications, and (2) using these specifica...
Dynamic Component Assessment on PvC Environments
Found in: Computers and Communications, IEEE Symposium on
By Andres Flores, Macario Polo
Issue Date:June 2005
pp. 955-960
We aim at automating an Integration process for Component-based Systems. Hence we describe a reference model where its first phase (Qualification) is our current work. We intend to compare components data by semantic analysis — i.e. Interoperability at a S...
Using Code Metrics to Predict Maintenance of Legacy Programs: A Case Study
Found in: Software Maintenance, IEEE International Conference on
By Macario Polo, Mario Piattini, Francisco Ruiz
Issue Date:November 2001
pp. 202
This paper presents an empirical study on the correlation of simple code metrics and maintenance necessities. The goal of the work is to provide a method for the estimation of maintenance in the initial stages of outsourcing maintenance projects, when the ...
MANTEMA: A Software Maintenance Methodology Based on the ISO/IEC 12207 Standard
Found in: Software Engineering Standards, International Symposium on
By Macario Polo, Mario Piattini, Francisco Ruiz, Coral Calero
Issue Date:May 1999
pp. 76
The maintenance of information systems is one of the greatest problems in the software life cycle: It is the most conflictive, costliest, less planificable; and the process requiring the most resources. In spite of this reality, most organizations do not p...
Automated test generation for multi-state systems
Found in: Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion (GECCO '13 Companion)
By Macario Polo Usaola, Pedro Reales Mateo
Issue Date:July 2013
pp. 211-212
This paper describes a genetic algorithm based on mutation testing to generate test cases for classes with multiple states. The fitness function is based on the coverability and the killability of the individuals. The paper includes a small empirical secti...