“…It concerns active test generation, passive testing, embedded testing, test execution and their application to real protocols and services. This work is mainly a work developed by my research group at INT, by myself and my PhD students [24,9,26,27,28,33,19,25] but it is also the result of collaborations with colleagues from CNET [3,6], Bell Labs [4,10] and academic collaborations [5,36,35,14]. It concerns different aspects of testing, that we have studied in the last years.…”