Credits

From ugp3

Alessandro Aimo

Coding (µGP v3)

Paolo Bernardi

Test & verification engineering

Antonio Casaschi

Case study: Test program generation (i8051)

Alberto Cerato

Case study: peripheral test

Fulvio Corno

Test & verification engineering (µGP v2)

Gianluca Cumani

Coding (µGP v1); case study: Test program generation (sparc ultra)

Davide Decicco

Case study: Test program generation (i8051)

Maria di Vincenzo

Case study: functional failing test generation (Core i7-950)

Sonia Drappero

Evolutionary core design (moea & group evolution); coding (µGP v3)

Paolo Ferretti

Case study: Test program generation (68hc11)

Gianluca Fisanotti

Case study: functional failing test generation (Pentium E2180)

Michelangelo Grosso

Test & verification engineering

Ennio Guglielmetto

Logo

German Labarga

Spare support on core war and redcode

Skip Lindsay

Case study: post-silicon verification (Pentium 4)

Marco Loggia

Case studies: Test program generation (mips2 & sparc8)

Giuseppe Macchia

Case study: Test program generation (sparc8) + hw accelerator

Andrea Maffiotto

Backend exploitation; case study: stress test

Onofrio Mancuso

Performance assessment

Simone Milano

Coding (µGP v3)

Tim Neutel

Logo

Luca Motta

Coding (µGP v3); spare support

Francisco Javier Navas Torres

Coding & documentation (µGP v3)

Zul Nazdri

Case study: spare support on core war and redcode

Giuseppe Parlato

Case study: functional failing test generation (Core i7-950)

Danilo Ravotto

Test & verification engineering; case studies management

Tommaso Rosato

Coding (frantumator); case study: on-line test (i8051)

Alessandro Salomone

Coding (µGP v3); spare support

Fabio Salto

Test & verification engineering; case studies: i8051; dlx; mips2 & sparc8

Edgar Ernesto Sanchez Sanchez

Evolutionary core design; test & verification engineering; case studies management; coding (µGP v3)

Massimiliano Schillaci

Evolutionary core design; test & verification engineering; coding (µGP v3); case study: powerpc 750

Matteo Sonza Reorda

Test & verification engineering

Giovanni Squillero

Idea; project management; evolutionary core design; test & verification engineering; coding (µGP v2 & µGP v3)

Luca Sterpone

Fpga-related enhancements

Antonio Tomasiello

Case study: Test program generation (i8051)

Alberto Tonda

Evolutionary core design; coding (µGP v3 & Borg v2)

Giuseppe Trovato

Coding (Borg); case studies: Core war & dlx

Pier Paolo Ucchino

Generic support; case study: Core war

Massimo Violante

Fpga-based hw accelerator

Gianluca Zaniolo

Case study: post-silicon verification (Pentium 4)

Gianni Zizzi

Case study: automatic malware generation

Lee Thomason, Yves Berquin, Andrew Ellerton and the tinyXml community

XML parser