Vol-2456⫷ Vol-2457 ⫸Vol-2458
urn:nbn:de:0074-2457-0


Vol-2457/paper9⫷Vol-2457/paper10⫸Vol-2457/paper11
Simone Vuotto

Automata-Based Generation of Test Cases for Reactive Systems