Add to ORKGThis master thesis deals with the design and implementation of dynamic analyzer of parametrized contracts . In the first part of the thesis , the problematics of testing of parallel programs are discussed and issues when dealing with parallelism are described . Further , methods how to reveal concurrency bugs via dynamic analysis are described , in particular FastTrack and Contract validator. The second part of the thesis proposes an extension for RoadRunner framework and SearchBestie platform for contract validator with parameters
This bachelor's thesis deals with the SRI Constraint Solver tool used for analysis of security proto...
Design by contract (DbC) is a software development methodology that focuses on clearly defining the ...
Thanks to computer software development, the communication industry hasevolved a lot during the last...
The thesis deals with a design and implementation of the dynamic analyser of parallel applications o...
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. Th...
Abstract. Search-based techniques can be used to identify whether a concurrent program exhibits faul...
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pr...
The objective of this bachelor's thesis is development of dynamic software analysis which monitors l...
The aim of this bachelor thesis is to design and implement a software - MetaTester, which deals with...
This work deals with problematics of contracts for parallelism. It is a technique allowing to specif...
Important aspects of the IoT concept include privacy and security. There are various examples from t...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
The main goal of this thesis is to implement algorithm FastTrack for dynamic analysis of multi-threa...
The Scalable Analysis Toolkit (SAT) project aimed to demonstrate that it is feasible and useful to s...
This diploma thesis deals with the issue of risk detection in conflicts when releasing a new version...
This bachelor's thesis deals with the SRI Constraint Solver tool used for analysis of security proto...
Design by contract (DbC) is a software development methodology that focuses on clearly defining the ...
Thanks to computer software development, the communication industry hasevolved a lot during the last...
The thesis deals with a design and implementation of the dynamic analyser of parallel applications o...
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. Th...
Abstract. Search-based techniques can be used to identify whether a concurrent program exhibits faul...
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pr...
The objective of this bachelor's thesis is development of dynamic software analysis which monitors l...
The aim of this bachelor thesis is to design and implement a software - MetaTester, which deals with...
This work deals with problematics of contracts for parallelism. It is a technique allowing to specif...
Important aspects of the IoT concept include privacy and security. There are various examples from t...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
The main goal of this thesis is to implement algorithm FastTrack for dynamic analysis of multi-threa...
The Scalable Analysis Toolkit (SAT) project aimed to demonstrate that it is feasible and useful to s...
This diploma thesis deals with the issue of risk detection in conflicts when releasing a new version...
This bachelor's thesis deals with the SRI Constraint Solver tool used for analysis of security proto...
Design by contract (DbC) is a software development methodology that focuses on clearly defining the ...
Thanks to computer software development, the communication industry hasevolved a lot during the last...