pepe zamudio.
ENES
Contacto
Investigación

Artículos y
tutoriales.

Estudio cómo generar pruebas útiles para software complejo, sobre todo cuando sus entradas tienen estructura, restricciones o estado. Estos trabajos explican los métodos y los problemas de seguridad a los que los he aplicado.

Áreas de trabajo

Líneas de investigación.

01 / Área

Pruebas de software

  • Generación de entradas estructuradas

    Gramáticas y restricciones semánticas para archivos, programas y mensajes binarios.

  • Pruebas de protocolos con estado

    Generación de conversaciones completas, no solo mensajes aislados.

  • Pruebas centradas en características

    Conjuntos de pruebas dirigidos a características concretas y al código que ejercitan.

02 / Área

Seguridad del software

  • Pruebas de inyección

    Generación de peticiones de ataque XML a partir de especificaciones de servicios web.

  • Fuzzing dirigido

    Exploración de casos límite en sistemas reales, incluido un módulo GNSS.

  • Descubrimiento de vulnerabilidades

    Detección y comunicación de fallos en analizadores y formatos de archivo con entradas generadas.

Métodos que utilizo
  • Búsqueda evolutiva y multiobjetivo
  • Gramáticas y restricciones semánticas
  • Modelos de características y variabilidad
  • Optimización heurística
Trabajo publicado

Artículos científicos.

Puedes leer una copia aquí o seguir el DOI hasta la publicación.

01 / 2026
ASE · artículo de investigación

Feature-Focused Test Generation

José Antonio Zamudio Amaya, Gaetano Sapia, Alexi Turcotte, David Benavides, Marcel Böhme, Andreas Zeller

Leer PDF ↗Ficha de la publicación ↗

Copia de autor · CC BY 4.0 · Licencia ↗

02 / 2026
SSBSE · artículo de conferencia

Search-Based Generation of Complex Inputs with Fandango

José Antonio Zamudio Amaya, Marius Smytzek, Andreas Zeller

Leer PDF ↗Ficha de la publicación ↗

Manuscrito de autor

05 / 2025
ISSTA · artículo de conferencia

XAVIER: Grammar-Based Testing for XML Injection Attacks

Paul Kalbitzer, José Antonio Zamudio Amaya, Andreas Zeller

Leer PDF ↗Ficha de la publicación ↗

Borrador inicial de autor · título anterior; consulta el DOI para la versión publicada

07 / 2025
Mathematics and Computers in Simulation · artículo de revista

Finding the Minimum k-Weighted Dominating Sets Using Heuristic Algorithms

Eva Barrena, Sergio Bermudo, A. G. Hernández-Díaz, A. D. López-Sánchez, José A. Zamudio

Leer PDF ↗Ficha de la publicación ↗

Versión publicada · CC BY 4.0 · Licencia ↗

09 / 2023
SPLC · artículo de conferencia

Analysis Operations on the Run: Feature Model Analysis in Constraint-Based Recommender Systems

Sebastian Lubos, Alexander Felfernig, Viet-Man Le, Thi Ngoc Trang Tran, David Benavides, José Antonio Zamudio Amaya, Damian Garber

Leer PDF ↗Ficha de la publicación ↗

Versión publicada · CC BY 4.0 · Licencia ↗

Para aprender los métodos

Tutoriales y guías.

El tutorial de FSE y la guía de referencia de Fandango.

01 / 2026
FSE · tutorial

Generating Test Inputs and Interactions with the Fandango Fuzzer: How to Test Complex Systems Automatically and Exhaustively

José Antonio Zamudio Amaya, Alexander Liggesmeyer, Marius Smytzek, Andreas Zeller

Leer PDF ↗Ficha de la publicación ↗

Copia de autor · CC BY 4.0; el subtítulo difiere del registro de publicación · Licencia ↗

02 / 2026
Documentación del proyecto · tutorial y referencia

Fuzzing with Fandango

José Antonio Zamudio Amaya, Valentin Huber, Alexander Liggesmeyer, Marius Smytzek, Andreas Zeller

Guía del proyecto ↗
En desarrollo

Preprints.

Manuscritos disponibles en arXiv.

02 / 2025
arXiv · preprint

High-Performance Generation of Constrained Inputs

Addison Crump, Alexi Turcotte, José Antonio Zamudio Amaya, Andreas Zeller

Leer PDF ↗Ficha en arXiv ↗

arXiv v3 · CC BY-SA 4.0 · Licencia ↗

Personas e instituciones

Colaboradores.

Algunas de las personas con las que he trabajado y lo que hicimos juntos.

CISPA Helmholtz Center for Information Security

Saarbrücken, Alemania

Andreas Zeller · Marius Smytzek · Alexander Liggesmeyer · Valentin Huber · Paul Kalbitzer · Alexi Turcotte · Addison Crump

Fandango, Compás, inyección XML y pruebas basadas en lenguajes

Max Planck Institute for Security and Privacy

Bochum, Alemania

Marcel Böhme · Gaetano Sapia

Generación de pruebas centradas en características con Compás

Universidad de Sevilla

Sevilla, España

David Benavides · David Romero Organvídez · José A. Galindo

Compás, WebSPL, XatkitSPL y líneas de productos software

TU Graz

Graz, Austria

Sebastian Lubos · Alexander Felfernig · Viet-Man Le · Thi Ngoc Trang Tran · Damian Garber

Análisis de modelos de características en sistemas de recomendación

Universidad Pablo de Olavide

Sevilla, España

Eva Barrena · Sergio Bermudo · Alfredo G. Hernández-Díaz · Ana D. López-Sánchez

Optimización y algoritmos heurísticos

LIST · Universidad de Luxemburgo

Luxemburgo

Jordi Cabot

XatkitSPL · generación de chatbots con líneas de productos software

ZHAW Zurich University of Applied Sciences

Winterthur, Suiza

Stephan Neuhaus

Fuzzing personalizado para un módulo GNSS