IMPACT OF SEQUENCE-BASED SOFTWARE SPECIFICATION ON STATISTICAL SOFTWARE TESTING