Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems.

Yunja Choi

Browse the full SEFM paper archive.