Towards Model-Based Generation of Self-Priming and Self-Checking Conformance Tests for Interactive Systems.

Amit M. Paradkar

Browse the full SAC paper archive.