Autor:
Herranz, Angel

Cargando...
Foto de perfil
E-mails conocidos
aherranz@fi.upm.es
angel.herranz@upm.es
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Herranz
Nombre de pila
Angel
Nombre
Nombres alternativos
Afiliaciones conocidas
Universidad Politécnica de Madrid, Spain
Página completa del ítem
Notificar un error en este autor

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Artículo
    Work in Progress: Generation of Algebraic Data Types using Evolutionary Algorithms
    Ballesteros González, Ignacio; Benac Earle, Clara; Fredlund, Lars-Ake; Herranz, Angel; Mariño, Julio. Actas de las XXII Jornadas sobre Programación y Lenguajes (PROLE 2023), 2023-09-12.
    Automatic data generation is a key component of automated software testing. Random generation of test input data can uncover some bugs in software, but its effectiveness decreases when those inputs must satisfy complex properties in order to be meaningful. In this work we study an evolutionary approach to generate values that can be encoded as algebraic data types plus additional properties. More specifically, we have conducted an experiment on the automated generation of red-black trees using evolutionary algorithms. Although relatively simple, this example will allow us to introduce the main principles of evolutionary algorithms and how these principles can be applied to obtain valid, nontrivial samples of a given data structure. While the preliminary results show some potential, further experimentation is needed.