Software Verification and Validation - Segédanyagok

Félév: 2017. ősz
Title	Egyedi szöveg
L12: Verification of the source code	Verification of the source code
L13: Software model checking with abstraction	Software model checking with abstraction
L14: Proof of program correctness	Proof of program correctness
L15: Module testing	Module testing
L16: Code-based test generation	Code-based test generation
L17: Model-based testing	Model-based testing
L18: Integration testing, system testing, validation testing	Integration testing, system testing, validation testing
L19: Verification during maintenance	Verification during maintenance

Primary Links