[spec] start hypothesis testing