Rástočný, Karol
73  Ergebnisse:
Personensuche X
?
8

Test Data Generation for MC/DC Criterion using Reinforcemen..:

, In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Cegin, Jan ; Rastocny, Karol - p. 354-357 , 2020
 
?
11

Synthesized dataset for search-based test data generation m..:

, In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C),
Cegin, Jan ; Rastocny, Karol ; Bielikova, Maria - p. 680-681 , 2020
 
?
12

Influence of the Diagnostics and Recovery on Safety Integri..:

, In: Communications in Computer and Information Science; Research and the Future of Telematics,
Rástočný, Karol - p. 387-401 , 2020
 
?
13

Does Live Regression Testing Help?:

, In: SOFSEM 2020: Theory and Practice of Computer Science; Lecture Notes in Computer Science,
Bruchatý, Marek ; Rástočný, Karol - p. 699-707 , 2020
 
?
14

Safety and Availability – Basic Attributes of Safety-Relate..:

, In: Communications in Computer and Information Science; Development of Transport by Telematics,
 
?
15

Towards Automatic Comparison of Cloud Service Security Cert..:

, In: SOFSEM 2019: Theory and Practice of Computer Science; Lecture Notes in Computer Science,
 
1-15