The automation of a software engineering tool for testing simple PASCAL programs Abstract: Language English