Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2013

Superefficiency and multiplier adjustment in data envelopment analysis

Autores
Santos, J; Santos, LC; Mendes, AB;

Publicação
Efficiency Measures in the Agricultural Sector: With Applications

Abstract
Superefficiency is an important extension of DEA that overcomes some limitations of the traditional models, specifically allowing ranking of efficient units and a unique set of weights for those units. Weights restriction is a well-known technique in the DEA field. When those techniques are applied, weights cluster around its new limits, making its evaluation dependent of its levels. This chapter introduces a new approach to weights adjustment by goal programming techniques, avoiding the imposition of hard restrictions that can even lead to unfeasibility. This method results in models that are more flexible.

2013

Introduction to data envelopment analysis

Autores
Santos, J; Negas, ER; Santos, LC;

Publicação
Efficiency Measures in the Agricultural Sector: With Applications

Abstract
This chapter introduces the basics of data envelopment analysis techniques, with a short historical introduction and examples of the constant returns to scale model (CRS) and the variable returns to scale (VRS) model. The ratio models are linearized and for both orientations primal and dual models are presented.

2013

Shrinking a Database to Perform SQL Mutation Tests Using an Evolutionary Algorithm

Autores
Moncao, ACBL; Camilo, CG; Queiroz, LT; Rodrigues, CL; Leitao, PD; Vincenzi, AMR;

Publicação
2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC)

Abstract

2013

Applying genetic algorithms to data selection for SQL mutation analysis

Autores
Loureiro Monção, ACB; Camilo Junior, CG; Queiroz, LT; Rodrigues, CL; Leitão Júnior, PdS; Vincenzi, AMR;

Publicação
GECCO (Companion)

Abstract
This paper presents an approach to Structured Query Lan- guage (SQL) instruction tests via Mutation Analysis that uses Evolutionary Algorithms (GA) to select data to be used in the assessment of mutants. Based on a heuristic perspec- tive, our aim is to select an effective data set which may help detect faults in the SQL instructions of a given appli- cation. The results obtained from experiments reveal a good performance using GA metaheuristic.

2013

A Coevolutionary Algorithm to Automatic Test Case Selection and Mutant in Mutation Testing

Autores
de Oliveira, AAL; Camilo, CG; Vincenzi, AMR;

Publicação
2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC)

Abstract
One of the main problems to perform the Software Testing is to find a set of tests (subset from input domain of the problem) which is effective to detect the remaining bugs in the software. The Search-Based Software Testing (SBST) approach uses metaheuristics to find low cost set of tests with a high effectiveness to detect bugs. From several existing test criteria, Mutation Testing is considered quite promising to reveal bugs, despite its high computational cost, due to the great quantity of mutant programs generated. Therefore, this paper addresses the problem of selecting mutant programs and test cases in Mutation Testing context. To this end, it is proposed a Coevolutionary Genetic Algorithm (CGA) and the concept of Genetic Effectiveness, describing a new representation and implementing new genetic operators. The CGA is applied in five benchmarks and the results are compared to other five methods, showing a better performance of the proposed algorithm in subsets automatic selection with better mutation score and greater reduction of computational cost, specifically the amount of testing, when compared with exhaustive test. © 2013 IEEE.

2013

Evolução de software livre baseada em métricas de qualidade: Um estudo de caso

Autores
Vincenzi, AMR; Rodrigues, CL; Vieira, IR; Silva Sousa, Ld; de Mendonça, VRL; Barbosa, JR; Diaz, MEP;

Publicação
SBSI

Abstract

  • 601
  • 740