spec out procedure for generating API test sequences