Műegyetemi Digitális Archívum
 

Languages and frameworks for specifying test artifacts

Date

Type

Ph.D. Thesis

Publisher

Budapesti Műszaki és Gazdaságtudományi Egyetem

Alternative

Nyelvek és keretrendszerek tesztek specifikálására

Date Defence

2013-06-27

Doctoral School

Informatikai Tudományok Doktori Iskola

Faculty

Villamosmérnöki és Informatikai Kar

OOC works

Abstract

Description

Keywords

Szoftver, Verifikáció, Modellelmélet