Sciweavers

77 search results - page 4 / 16
» dagstuhl 2004
Sort
View
DAGSTUHL
2004
14 years 11 months ago
Test Derivation from Timed Automata
Laura Brandán Briones, Mathias Röhl
DAGSTUHL
2004
14 years 11 months ago
Tools for Test Case Generation
Axel Belinfante, Lars Frantzen, Christian Schallha...
43
Voted
DAGSTUHL
2004
14 years 11 months ago
I/O-automata Based Testing
Machiel van der Bijl, Fabien Peureux