Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.

Zoltn Micskei, Istvn Majzik

Browse the full DEPCoS paper archive.