Credits

µCredits

Alessandro Aimo
Coding (µGP v3)

Jany Belluz
Coding (µGP v3)

Paolo Bernardi
Test & verification engineering

Doina Bucur
Case study: WSNs + DTNs

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

Samuel Guedes
DMAB v1

Ennio Guglielmetto
Logo

Giovanni Iacca
Case study: WSNs + DTNs

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

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

Note

If you think you should be listed in this document and we don’t do it already, please, contact us.