Lab materials for the SWSV course

Materials for the laboratory exercises:

• LAB0: Familiarizing with the home assignment environment (GitHub, Maven, Sonar...).

• LAB1: Advanced static analysis tools

• LAB2: Test design and integration testing

  • Combinatorial testing [Optional]
  • Integration testing (microservices)

• LAB3: Model-based test generators

• LAB4: Code-based test generators (Java)

• LAB5: Verifying architectural and detailed designs