EA06: Korlátos modellellenőrzés

Semester: 
2012. tavasz

Az előadás anyaga:

  • Korlátos modellenőrzés
  • A modellellenőrzés előnyei és korlátai
  • Tesztgenerálás modellellenőrzővel