An Automatic Test Case Generator Derived from State-Based Testing.

Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell

Browse the full APSEC paper archive.