- document
-
Li, Wenkai (author)Concurrency bugs are easy to introduce but dif- ficult to detect, especially in implementations of distributed algorithms where concurrency non- determinism is an inherent problem. These bugs may only be identified under very specific order- ings of execution events, making them challenging to reproduce. Controlled concurrency testing tech-...bachelor thesis 2023
- document
-
Petrov, Martin (author)Consensus algorithms, as well as distributed systems in general, are vulnerable to concurrency bugs due to non-determinism. Such bugs are hard to detect since it is necessary to test using a lot of different scenarios and even then, there is no guarantee to find one. <br/><br/>Controlled concurrency testing is a proposed solution to that problem...bachelor thesis 2023
- document
-
Datskiv, Sergey (author)On the intuitive level, software testing is important because it assures the quality of the software used by humans. However, ensuring this quality is not an easy task because as the complexity of the software increases, so do the efforts to test it. Search-based software testing is an active research field that develops and explores tools for...bachelor thesis 2023
- document
-
de Munck, Philip (author)As software and systems continue to get more complex, software testing is an important field to ensure that software functions properly. Every day information about software testing is being discussed on the internet via blog posts, discussion boards, and more. This information is scattered among many different websites, making it hard to access...bachelor thesis 2023
- document
-
Abhishek, Apoorva (author)Software testing is an important yet time consuming task in the software development life cycle. Artificial Intelligence (AI) algorithms have been used to automate this task and have proven to be proficient at it. This research focuses on the automated testing of JavaScript programs, and builds upon the existing SynTest framework that is the...bachelor thesis 2023
- document
-
Gökmen, Onur (author)Software testing plays a crucial role in delivering reliable software. Currently, research is ongoing on how software developers and testers acquire this knowledge of software testing to deliver reliable software and what kind of knowledge is being transferred to developers and testers. In an effort to gain more insight into this area, we will...bachelor thesis 2023
- document
-
Özmetin, Doruk (author)In this study, we try to understand what kind of topics and frameworks are covered by the popular software testing books, and see whether these topics satisfy the industry needs and address the rising trends. To define "popular" software testing books, we formulated three heuristics. The topics of the books are analyzed through LDA topic...bachelor thesis 2023
- document
-
Džiugaitė, Neda (author)Software testing is a necessary aspect of software development. With high expectations placed on software testers and a shortage of qualified professionals, Massive Open Online Courses (MOOCs) have emerged as a potential solution to improve software testing education. MOOCs provide accessible education and can offer a comprehensive review of...bachelor thesis 2023
- document
-
Li, Erwin (author)Software testing is an important but time-consuming task, making automatic test case generation an appealing solution. The current state-of-the-art algorithm for test case generation is DynaMOSA, which is an improvement of NSGA-II that applies domain knowledge to make it more suitable for test case generation. Although these enhancements are...bachelor thesis 2023
- document
-
Viero, Diego (author)In recent decades, automatic test generation has advanced significantly, providing developers with time-saving benefits and facilitating software debugging. While most research in this field focused on search-based test generation tools for statically-typed languages, only a few have been adapted for dynamically-typed languages. The larger...bachelor thesis 2023
- document
-
Gupta, Dibyendu (author)This paper aims to unveil and gather testing-related information from Stack Overflow, highlighting it as a valuable resource for practitioners seeking answers and guidance. <br/>The study aims to accumulate knowledge from real-life experiences shared on Stack Overflow and bridge the knowledge gap between industry practices and teaching practices...bachelor thesis 2023
- document
-
Veldman, Frederik (author)This thesis is concerned with finding the asymptotic distributions of linear spectral statistics of the nonlinear shrinkage estimator for large covariance matrices derived by Ledoit and Wolf (2012). It provides some new inferential procedures for large-dimensional data and shed some light on the power of the new statistical tests on the...bachelor thesis 2022
- document
-
Crha, Vojta (author)In the recent years, several papers have implemented methods which seamlessly integrate data streams into high frame rate monitors without affecting casual viewer experience. This paper proposes an improvement to existing systems which can in theory increase the data throughput of the data stream several times. Exploiting the same...bachelor thesis 2022
- document
-
Dimitrov, Stoyan (author)To ensure that a software system operates in the correct way, it is crucial to test it extensively. Manual software testing is severely time-consuming, and developers often underestimate its importance. Consequently, many tools for automatic test generation have been developed during the past decade. EvoSuite is a state-of-the-art tool for...bachelor thesis 2022
- document
-
Pîrcălăboiu, Laura (author)Recent years have seen a surge of interest for dynamic testing techniques, one of which is symbolic execution. It is the main point of interest of this research paper, in which we give an overview of a framework for symbolically executing definitional interpreters. We will also discuss techniques that we made use of in developing the symbolic...bachelor thesis 2021
- document
-
Boon Alexaki, Philippos (author)Definitional interpreters are difficult to test with a pre-defined test suite. This paper tries to determine the effectiveness of automatic testing of definitional interpreters, using concolic execution. First we develop a model for concolic execution of a functional language. Then we identify different categories of common mistakes when writing...bachelor thesis 2021
- document
-
Oudemans, Melchior (author)The big data technology market size is expected to grow in the coming years. The advantages of having automated test tools for big data applications are becoming increasingly important. Fuzzing is an automated testing method which has been used in many different fields, but has not been frequently used in the big data domain as it poses several...bachelor thesis 2021
- document
-
van den Berg, Bo (author)Big data applications are becoming increasingly popular. The importance of testing these applications increases with it. A recently proposed work called BigFuzz applies automated testing. The big data fuzzing tool shows very promising results. The aim of this research is to inspect how coverage guidance affects the performance of big data...bachelor thesis 2021
- document
-
Juhošová, Sára (author)Manually testing definitional interpreters and their type checkers is a tedious and error-prone process which can largely benefit from automation. This study evaluates the effectiveness of property-based testing on errors in type checkers. Metrics used include the ability to catch different types of errors as well as the ability to provide a...bachelor thesis 2021
- document
-
Moraru, Alexandru (author)This paper presents an evaluation of different generation methods of input expressions to definitional interpreters. We compare three different ways of generating expressions of a specified algebraic data type. The approaches that we describe are QuickCheck, SmallCheck and a uniform generation technique, as laid out in their original papers....bachelor thesis 2021