Generation of testing code based on Alloy models

Michał Pasieka

Abstract

n/a
Diploma typeMaster of Science
Author Michał Pasieka IAiIS
Michał Pasieka,,
- The Institute of Control and Computation Engineering
Title in PolishGenerowanie kodu testyującego na podstawie modeli zapisanych w języku Alloy
Supervisor Marcin Szlenk IAiIS
Marcin Szlenk,,
- The Institute of Control and Computation Engineering
Certifying unitFaculty of Electronics and Information Technology (FEIT)
Affiliation unitThe Institute of Control and Computation Engineering (AK)
Languagepl polski
StatusFinished
Issue date (year)2013
Internal identifierENIA-002617


Back