Details

Software Verification and Testing

Original title in Czech: Verifikace a testování softwareFITAbbreviation: NVERAcad. year: 2023/2024

Programme: Information Technology and Artificial Intelligence


Course structure diagram with ECTS credits

1. year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hr. rangeGr.Op.
MSPStatistics and Probabilitycs6Compulsoryyes
TINTheoretical Computer Sciencecs7Compulsoryyes
1. year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hr. rangeGr.Op.
FLPFunctional and Logic Programmingcs5Compulsoryyes
PRLParallel and Distributed Algorithmscs5Compulsoryyes
2. year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hr. rangeGr.Op.
SEPSemester Projectcs, en5Compulsoryyes
PP2Project Practice 2cs5Electiveyes
2. year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hr. rangeGr.Op.
DIPMaster's Thesiscs, en13Compulsoryyes
Any year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hr. rangeGr.Op.
AVSComputation Systems Architecturescs5Compulsoryyes
BISInformation System Securitycs5Compulsoryyes
SAVStatic Analysis and Verificationcs5Compulsoryyes
UPAData Storage and Preparationcs5Compulsoryyes
SUIArtificial Intelligence and Machine Learningcs5Compulsoryyes
AGSAgents and Multiagent Systemscs5Electiveyes
AISInformation Systems Analysis and Designcs5Electiveyes
JA3Conversation through Hot Current Issuescs, en3Electiveyes
FCEEnglish: Practical Course of Business Conversation and Presentationcs, en3Electiveyes
AEUEnglish for Europecs, en3Electiveyes
BAYaBayesian Models for Machine Learning (in English)en5Electiveyes
BMSWireless and Mobile Networkscs5Electiveyes
SCOSecure Codingcs5Electiveyes
BIOBiometric Systemscs, en5Electiveyes
BRIaBrain Computer Interfaceen5Electiveyes
CZSaDigital Signal Processing (in English)en5Electiveyes
FITHistory and Philosophy of Technologycs2Electiveyes
EIPEconomics of Information Productscs5Electiveno
FIKPhilosophy and the Culturecs2Electiveyes
GZNGraphical and Sound Interfaces and Standardscs5Electiveyes
GJAGraphical User Interfaces in Javacs, en5Electiveyes
GUXGraphical User Interfaces in X Window Systemcs5Electiveyes
GMUGraphic and Multimedia Processorscs5Electiveno
GALGraph Algorithmscs, en5Electiveyes
HSCHardware/Software Codesigncs, en5Electiveyes
SINIntelligent Systemscs5Electiveyes
SLALinear Algebra Ics6Electiveyes
HKOCommunication and Presentation Skillscs, en3Electiveyes
HVRLeadership and Time Managementcs, en3Electiveyes
MATMathematical Structures in Computer Sciencecs, en5Electiveno
BC_MOG1Molecular Genetics Ics4Electiveyes
PCGParallel Computations on GPUcs5Electiveyes
PGRComputer Graphicscs, en5Electiveyes
POVaComputer Vision (in English)en5Electiveyes
PBIAdvanced Bioinformaticscs4Electiveyes
PGPaAdvanced Computer Graphics (in English)en5Electiveyes
PCSAdvanced Digital Systemscs5Electiveyes
PDBAdvanced Database Systemscs, en5Electiveyes
PKSaAdvanced Communication Systemsen5Electiveno
CCSDesign and Security of Enterprise Networkscs5Electiveno
PRMFundamentals of Lawcs2Electiveyes
PDIDistributed Application Environmentcs, en5Electiveyes
RETRhetoriccs2Electiveyes
ROBaRobotics (in English)en5Electiveyes
SEMSensors and Measurementcs5Electiveyes
CE1CCNP Enterprise: Core Networking (ENCOR)cs5Electiveyes
SFCSoft Computingcs5Electiveyes
SRIStrategic Management of Information Systemscs5Electiveyes
THEGame Theorycs5Electiveyes
TAMaApplication Development for Mobile Devices (in English)en5Electiveyes
VYPaCompiler Construction (in English)en5Electiveyes
VINComputer Artcs5Electiveyes
ZPXProfessional Practice, Abroaden5Electiveyes
ZZNKnowledge Discovery in Databasescs5Electiveyes
ZPJaNatural Language Processing (in English)en5Electiveyes
Any year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hr. rangeGr.Op.
MBAModel-Based Analysiscs5Compulsoryyes
ATAAutomated Testing and Dynamic Analysiscs5Compulsoryyes
MTIaModern Trends in Informatics (in English)en4Compulsoryyes
SNTSimulation Tools and Techniquescs5Compulsoryyes
SPPFault Tolerant Systemscs5Compulsoryyes
JA3Conversation through Hot Current Issuescs, en3Electiveyes
AEUEnglish for Europecs, en3Electiveyes
EVOApplied Evolutionary Algorithmscs5Electiveyes
BZASecure Hardware Devicescs5Electiveyes
BIFBioinformaticscs5Electiveyes
BINBio-Inspired Computerscs5Electiveyes
BDABlockchain and Decentralized Applicationscs5Electiveyes
CSOaCCNA Cybersecurity Operations (in English)en5Electiveyes
FITHistory and Philosophy of Technologycs2Electiveyes
DFAaDigital Forensics (in English)en5Electiveyes
DJADynamic Languagescs5Electiveno
FIKPhilosophy and the Culturecs2Electiveyes
FVSFunctional Verification of Digital Systemscs5Electiveno
FYOPhysical Opticscs, en5Electiveyes
GISGeographical Information Systemscs5Electiveno
WAPInternet Applicationscs5Electiveyes
KKOData Coding and Compressioncs5Electiveyes
KNNConvolutional Neural Networkscs5Electiveyes
KRYCryptographycs5Electiveyes
LOGLogiccs5Electiveyes
MPRProject Managementcs5Electiveyes
HKOCommunication and Presentation Skillscs, en3Electiveyes
HVRLeadership and Time Managementcs, en3Electiveyes
MPC-MATMatrices and Tensors Calculuscs5Electiveyes
MULMultimediacs, en5Electiveyes
CPSaCyber-Physical Systems Design (in English)en5Electiveyes
NSBProjecting, Administration and Securitycs5Electiveyes
NAVDesign of Embedded Systemscs5Electiveyes
SOAGeneral Algebracs5Electiveyes
PISAdvanced Information Systemscs5Electiveyes
POSAdvanced Operating Systemscs5Electiveyes
CE2CCNP Enterprise: Advanced Routing (ENARSI)cs5Electiveyes
PPPPractical Parallel Programmingcs5Electiveyes
PRMFundamentals of Lawcs2Electiveyes
TOIPrinciples and Design of IoTcs5Electiveyes
PP1Project Practice 1cs, en5Electiveyes
PMAProject Managercs5Electiveyes
PDSData Communications, Computer Networks and Protocolscs, en5Electiveyes
RETRhetoriccs2Electiveyes
SLOaComplexity (in English)en5Electiveyes
SURMachine Learning and Recognitioncs5Electiveyes
MPA-SYSSystems Biologyen5Electiveyes
RTSaReal-Time Systems (in English)en5Electiveyes
UXIaUser Experience and Design of User Interfaces and Services (in English)en5Electiveyes
VIZaVisualization and CAD (in English)en5Electiveyes
VYFComputational Photographycs5Electiveyes
VGEComputational Geometrycs, en5Electiveyes
VNVHigh Performance Computationscs, en5Electiveyes
ZPXProfessional Practice, Abroaden5Electiveyes
ZPOImage Processingcs, en5Electiveyes
ZRESpeech Signal Processingcs, en5Electiveyes