Labs
SVV Laboratory 2022
Week 1
- Introduction and Lab Rules
Week 2 & 3
Week 4
- JUnit Test
Week 5
- Mock Testing - repository
- Mock Testing - explanations
Week 6
- Mock Test
Week 7
- Contract Testing - repository
- Contract Testing - explanations
Week 8
- Selenium Testing - repository
- Selenium Testing - explanations
Week 9
- Selenium Test
Week 10
Week 11
- Test 4
Week 12 & 13
- BTC Embedded Platform for formal verification and test generation - document 1 ; document 2 ; document 3
Week 14
- Recoveries