Download User Manual
Transcript
Název práce: Unit Checking for Java IDE Autor: Michal Kebrt Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý E-mail vedoucího: [email protected] Abstrakt: Klíčová slova: unit testing, model checking, JUnit, Java PathFinder, Eclipse Title: Unit Checking for Java IDE Author: Michal Kebrt Department: Department of Software Engineering Supervisor: RNDr. Ondřej Šerý Supervisor’s e-mail address: [email protected] Abstract: Keywords: unit testing, model checking, JUnit, Java PathFinder, Eclipse