Předmět Testování a verifikace software (A4M33TVS)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu A4M33TVS - Testování a verifikace software, Fakulta elektrotechnická, České vysoké učení technické v Praze (ČVUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Literatura
Paul Ammann and Jeff Offutt, Introduction to Software Testing, CambridgeUniversity Press, Cambridge, UK, ISBN 0-52188-038-1, 2008.Systems and Software Verification: Model-Checking Techniques and Tools byB. Berard, M. Bidoit, A. Finkel, and F. Laroussinie, Springer; 2001
Požadavky
Aktuální informace najdete na:https://cw.fel.cvut.cz/wiki/courses/a4m33tvs/start
Garant
Radek Mařík
Vyučující
Jiří Vyskočil, Ivan Havel, Radek Mařík