Software testing techniques Software testing techniques Testing based on specifications Presentation on the seminar Kaunas University of Technology.