Automated Testing and Verification
Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970
About the Lecture
This course (6 CP) teaches advanced testing and verification techniques
Place and Time
We have two lectures every week. However, every second week we will use one of these slots for lab sessions:
The lecture starts on Tuesday, October 16. Course material will be available on this very Web page.
Important News & Announcements
ExercisesPlease note that exercises are not mandatory, but they will help you to understand the topics and be prepared for the final exam.
ProjectsYou must achieve 50% of the overall points of all projects to be permitted to the final exam and the re-exam.
Projects can be solved in groups of two students. Further information can be found in the description of each project.
GradingFor passing the course the following minimal amount of points is needed:
Your final grade is then calculated by:Final Grade = 10% (Points of Project 1) + 10% (Points of Project 2) + 10% (Points of Project 3 ) + 70% (Max (FinalExam,Re-Rexam))
Register in HISPOS
<email@example.com> · http://www.st.cs.uni-saarland.de/edu/automatedtestingverification12/ · Stand: 2018-04-05 13:40