Model based test case generation with metaheuristics for networks of timed automata.

Joachim Hnsel

Browse the full ICSE paper archive.