210 results on '"Miroslav Bures"'
Search Results
52. Securing Internet of Things Devices Using The Network Context.
53. Internet of Things: Current Challenges in the Quality Assurance and Testing Methods.
54. Testing the consistency of business data objects using extended static testing of CRUD matrices.
55. EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications.
56. Prioritized Process Test: An Alternative to Current Process Testing Strategies.
57. Employment of multiple algorithms for optimal path-based test selection strategy.
58. Code-aware combinatorial interaction testing.
59. Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends.
60. Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows.
61. Static Testing Using Different Types of CRUD Matrices.
62. On the Effectiveness of Combinatorial Interaction Testing: A Case Study.
63. Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study.
64. Leveraging Siamese Networks for One-Shot Intrusion Detection Model.
65. Software Module Clustering: An In-Depth Literature Analysis.
66. Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test.
67. Conceptual approach for reuse of test automation artifacts on various architectural levels.
68. Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts.
69. SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests.
70. Model-Based Testing and Exploratory Testing: Is Synergy Possible?
71. Exploratory testing supported by automated reengineering of model of the system under test.
72. Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions.
73. Creating Smart Tests from Recorded Automated Test Cases.
74. Model for Evaluation and Cost Estimations of the Automated Testing Architecture.
75. PCTgen: Automated Generation of Test Cases for Application Workflows.
76. Metrics for automated testability of web applications.
77. Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests.
78. Collaboration system integrating audio, video and text communication in INDECT project.
79. Pex Extension for Generating User Input Validation Code for Web Applications.
80. Change Detection System for the Maintenance of Automated Testing.
81. Reducing user input validation code in web applications using Pex extension.
82. Automated testing in the Czech Republic: the current situation and issues.
83. Employment of Multiple Algorithms for Optimal Path-based Test Selection Strategy.
84. A Comprehensive View on Quality Characteristics of the IoT Solutions.
85. A Hybrid Q-Learning Sine-Cosine-based Strategy for Addressing the Combinatorial Test Suite Minimization Problem.
86. Transformation of IFML schemas to automated tests.
87. Framework for assessment of web application automated testability.
88. Technical debt resulting from architectural degradation and code smells
89. Visualizing architectural evolution via provenance tracking
90. Formal specification to support advanced model based testing.
91. Software designed 64-QAM demodulator of OFDM signal implemented into FPGA elements.
92. Leveraging Siamese networks for one-shot intrusion detection model
93. Towards the Reusable User Data in Adaptive Hypermedia Systems - The External Mapping of User Parameters between Systems.
94. Using AICC to Create Reusable Adaptive Hypermedia E-learning Content.
95. e-learning adaptive web system's formal design.
96. Cyber-security challenges in aviation industry : a review of current and future trends
97. Securing Internet of Things Devices Using The Network Context
98. On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices
99. Code‐aware combinatorial interaction testing
100. On Microservice Analysis and Architecture Evolution: A Systematic Mapping Study
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.