An Approach to Testing with Embedded Context Using Model Checker.

Lihua Duan, Jessica Chen

Browse the full ICFEM paper archive.