News
Mutants ReleasedWritten on 25.09.25 by Tobias Dick Dear participants, the mutants have just been released. To register tests that should run against the mutants you have to register them in the function registerSystemTestsMutantSimulation. All other tests will not run against the mutants including the tests registered in… Read more Dear participants, the mutants have just been released. To register tests that should run against the mutants you have to register them in the function registerSystemTestsMutantSimulation. All other tests will not run against the mutants including the tests registered in registerSystemTestsMutantValidation. Please make sure that all tests that are registered for the mutants pass against the reference as the mutants will only be executed if none of the tests in registerSystemTestsMutantSimulation fail. Important: Finding at least 27/30 mutants is sufficient to be able to pass the group phase. You can find a document with all mutants in the Materials (CMS) under "Implementation Phase" with a short description of each mutant. Best, |
Reminder: Mandatory AttendanceWritten on 23.09.25 by Tobias Dick Dear participants, Because several people have been arriving excessively late in recent days, we want to remind you that the mandatory attendance period is not a recommendation but rather an obligation. It is your responsibility to take appropriate measures to arrive on time for the beginning of… Read more Dear participants, Because several people have been arriving excessively late in recent days, we want to remind you that the mandatory attendance period is not a recommendation but rather an obligation. It is your responsibility to take appropriate measures to arrive on time for the beginning of the mandatory attendance period. Best, the SE-Lab team |
Mandatory Test Set ReleasedWritten on 23.09.25 by Tobias Dick Dear participants, From now on, we run the set of tests that are mandatory to pass on your implementation as well as your tests on our reference implementation (using the function called registerSystemTestsForReferenceImplementation in the SystemTestRegistration.kt file). You can find test results… Read more Dear participants, From now on, we run the set of tests that are mandatory to pass on your implementation as well as your tests on our reference implementation (using the function called registerSystemTestsForReferenceImplementation in the SystemTestRegistration.kt file). You can find test results in the results branch of your group’s repository. There are a total of 100 mandatory tests, divided into 3 categories: 30 validation tests, 55 component tests, and 15 full tests. We will soon release a second set of tests to the three categories that will be optional for passing the course but help to debug your simulation. In the upcoming days, we will also start running your tests (registered in the function registerSystemTestsMutantSimulation in the SystemTestRegistration.kt file) against mutants of the reference implementation to check whether your tests are able to detect the introduced faults. However, we will only run your tests on our mutants if all tests registered in this function succeed on our reference implementation. Important: Passing 97/100 mandatory tests is sufficient to be able to pass the group phase. Additionally, you will have to find a certain number of mutants. Details on the mutants will be released in the coming days. Best, |
Design Re-Evaluation ResultsWritten on 17.09.25 by Tobias Dick Dear participants, We have finished the correction of the design re-evaluation. You can find the updated results under "Individual Passing" on your personal status page in the CMS. Best, |
Correction: Practical Tutorial on FridayWritten on 15.09.25 by Tobias Dick Dear Participants, the practical tutorial announced previously will take place on Friday (19.09.) in the GHH at 9:30. The tutorial will provide a hands-on introduction to debugging and testing, which are essential concepts for carrying out the group project. Group attendance will start at… Read more Dear Participants, the practical tutorial announced previously will take place on Friday (19.09.) in the GHH at 9:30. The tutorial will provide a hands-on introduction to debugging and testing, which are essential concepts for carrying out the group project. Group attendance will start at 11:00 after the tutorial. Best, |
Individual Re-Evaluation on WednesdayWritten on 15.09.25 by Tobias Dick Dear participants, The individual re-evaluation for the design phase will take place on Wednesday, September 17, in E1 3, HS002. Attendance is only required if you did not pass the individual design defense. If this applies to you, missing the re-evaluation will result in failing the… Read more Dear participants, The individual re-evaluation for the design phase will take place on Wednesday, September 17, in E1 3, HS002. Attendance is only required if you did not pass the individual design defense. If this applies to you, missing the re-evaluation will result in failing the course. The re-evaluation will be conducted as a written exam. Bring your student ID card and a photo ID card (e.g., passport). You are allowed to bring your laptop and use any of the diagrams your group submitted for the design defense. No other aids are allowed. Use only document-proof pens (no pencils!). Red or green pens are not permitted. Admittance to the lecture hall is at 8:45; make sure to be there on time. Best, |
Reminder: Tidy up Your Rooms DailyWritten on 11.09.25 by Tobias Dick Dear participants, we have received complaints regarding food leftovers and untidiness in some of the group rooms. Please make sure to clean up your workspace and dispose of any food waste every day before you leave. The rooms should always be left in the same clean condition as you found… Read more Dear participants, we have received complaints regarding food leftovers and untidiness in some of the group rooms. Please make sure to clean up your workspace and dispose of any food waste every day before you leave. The rooms should always be left in the same clean condition as you found them. Otherwise, we may revoke room access outside the mandatory attendance period for individual groups. Best, the SE-Lab team |
Lecture on Testing in PracticeWritten on 09.09.25 by Tobias Dick Dear participants, today, there will be a lecture on testing in practice. The lecture takes place in Lecture Hall 1 of the Maths Building (E2 5) at 9:30am. Best, |
Changes to the SpecificationWritten on 08.09.25 by Tobias Dick Dear participants, the document which specifies the change to the specification for the group phase is now available in the CMS (see Materials). Best, |
Rooms for the Technical TutorialWritten on 01.09.25 by Tobias Dick Dear participants, we have reassigned the rooms for the practical tutorial this afternoon. Best, |
Lecture Hall ChangedWritten on 01.09.25 by Tobias Dick Dear participants, starting today, the lecture is going to take place in Lecture Hall 1 of the Maths Building (E2 5). Best, |
Entry Exam ResultsWritten on 30.08.25 by Tobias Dick Dear participants, We have finished the correction of the Entry Exam. You can find the results on your personal status page in the CMS. Those who did not pass and want to receive more information about their Entry Exam, please write an e-mail to: sopra@lists.se.cs.uni-saarland.de And… Read more Dear participants, We have finished the correction of the Entry Exam. You can find the results on your personal status page in the CMS. Those who did not pass and want to receive more information about their Entry Exam, please write an e-mail to: sopra@lists.se.cs.uni-saarland.de And a short reminder: Don't forget about the registration/withdrawal deadline in the LSF on Monday, September 1. If you have passed the Entry Exam but are not registered in the LSF, you cannot participate in the group phase. And also don't forget about signing up on our GitLab. Best, |
Entry ExamWritten on 28.08.25 by Tobias Dick Dear participants, Tomorrow, Friday, August 29, the entry exam takes place on-site at the campus. Since you are registered for the course in the CMS, you are automatically registered for the entry exam. This is different from the exam registration in the LSF, which is possible and necessary for… Read more Dear participants, Tomorrow, Friday, August 29, the entry exam takes place on-site at the campus. Since you are registered for the course in the CMS, you are automatically registered for the entry exam. This is different from the exam registration in the LSF, which is possible and necessary for you to do until Monday, September 1. Bring your student ID card and a photo ID card (e.g., passport) to the entry exam. No aids are allowed. Use only document-proof pens (no pencils!). Red or green pens are not permitted. The tasks are formulated in English and German. You can provide your answers in either of both languages. The entry exam is going to take place in multiple lecture halls simultaneously. Admittance to the lecture halls is at 9:45; make sure to be in front of the assigned lecture hall on time. You can find your assigned lecture hall and seat on your personal status page in the CMS. In case of illness, please inform us immediately by e-mail to sopra@lists.se.cs.uni-saarland.de and submit a medical certificate as soon as possible. Good luck, and see you tomorrow! Best, |
Tutorial Room AssignmentWritten on 25.08.25 by Tobias Dick Dear participants, you can now find your assigned tutorial room on your personal status page. Best, |