Test Generation with Inputs, Outputs, and Quiescence.

Jan Tretmans

Browse the full TACAS paper archive.