Specification-driven automated testing of GUI-based Java programs