Searched for: contributor%3Apanichella
(1 - 20 of 63)

Pages

document
Lin, Longfei (author)
Software testing, a critical phase in the software development lifecycle, is often hindered by the time-intensive and costly manual creation of test cases. While automating test case generation could mitigate these challenges, its adoption in the industry has been limited due to difficulties in comprehending the generated test cases. To address...
master thesis 2023
document
Pîrcălăboiu, Laura (author)
Docker has been one of the most widely used DevOps tools in the last decade, enabling fast development of personalized services. Indeed, the common practice is to reuse already available containers and customize them based on the developer's needs. DockerHub is the leading platform for uploading and downloading Docker containers. Unfortunately,...
master thesis 2023
document
Nguyen, DUC HUY (author)
Platooning involves organizing a group of vehicles with common attributes into a formation. With the help of Road Side Units, they establish Intelligent Transportation System (ITS). To facilitate communication in this system, one of the prominent communication technologies is Dedicated Short Range Communication (DSRC). In Europe, the European...
master thesis 2023
document
Kroskinski, Ivo (author)
Organizations use cloud service providers for outsourcing their data, since this includes advantages such as: scalability, security and no need for in house experts. Therefore, outsourcing data to cloud providers results in reduced costs. <br/>The disadvantage of outsourcing data to a cloud provider, is that organizations are not in control of...
master thesis 2023
document
Georgescu, Calin (author)
Kotlin is a programming language best known for its interoperability with Java, as well as the measurable improvements it offers over it. Since it became Android’s go-to language in 2019, the popularity and impact of Kotlin have risen greatly. Amidst this surge in popularity, the Kotlin developer team is working on a new version of the compiler...
master 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
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
Staal, Martijn (author)
Type checkers are invaluable tools which help programmers write correct programs. Fast and efficient type checkers are required to enable adoption of such tools in practice.<br/><br/>This study aims to provide an explorative overview of proposed efficiency improvements for type checkers. This provides language implementers insight in what...
bachelor thesis 2023
document
Khakimova, Maria (author)
While dependent types can allow programmers to verify properties of their programs, implementing a type checker for a dependent type theory is often difficult. This is due to the fact that, in the presence of dependent types, deciding the equality of types - conversion checking - becomes non-trivial. Due to an identified gap in literature...
bachelor thesis 2023
document
Jakovonis, Saulius (author)
The success of dynamically typed languages such as Python has resulted in an increased interest in supporting type inference in statically typed lan- guages. Type inference refers to automatic type detection based on surrounding context and allows retaining the type safety (and other advantages) of static types, while matching the ease of use of...
bachelor thesis 2023
document
Kocakaya, Hasan (author)
Names are essential for structuring and reason-ing about programs. However, the implementation of names differs across many programming lan-guages. There is an bundance of choice between various implementation techniques with regards to name-binding techniques. As such, when design-ing a programming language it is not clear which technique one...
bachelor thesis 2023
document
Faraldos Pijoan, Pau (author)
Data types and pattern matching are fundamental concepts in programming. Data types define the structure of data, while pattern matching allows efficient manipulation and extraction of the same data. This text provides an overview of different implementation techniques for type systems regarding data types and pattern matching in the existing...
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
Güneri, Alp (author)
Software testing is a laborious job, and accounts for a large portion of software development expenses. Search-based automatic test case generation is an area of research that attempts to remedy this by discovering algorithms suited for generating test cases automatically. In this field, DynaMOSA is a state-of-the-art evolutionary algorithm,...
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
Thomas, Wessel (author)
Network Intrusion Detection Systems (NIDSs) defend our computer networks against malicious network attacks. Anomaly-based NIDSs use machine learning classifiers to categorise incoming traffic. Research has shown that classifiers are vulnerable to adversarial examples, perturbed inputs that lead the classifier into misclassifying the input....
master thesis 2023
document
Galjaard, Jeroen (author)
Few-shot learning presents the challenging problem of learning a task with only a few provided examples. Gradient-Based Meta-Learners (GBML) offer a solution for learning such few-shot problems. These learners approach the few-shot problem by learning an initial parameterization that requires only a few adaptation steps for new tasks. Although...
master thesis 2023
document
Li, Zhuoheng (author)
Programmers usually write test cases to test onboard software. However, this procedure is time-consuming and needs sufficient prior knowledge. As a result, small satellite developers may not be able to test the software thoroughly. <br/> <br/>A promising direction to solve this problem is reinforcement learning (RL) based testing. It searches...
master thesis 2022
document
Stallenberg, Dimitri (author)
Traditional software testing is a labor-intensive and expensive manual process. To mitigate the high cost of manual test case generation, researchers have developed various techniques for automated test case generation over the last few decades. These techniques make use of static type information to determine which data types should be used in...
master thesis 2022
document
Yildirim, Deniz (author)
Tactile Internet (TI) allows kinesthetic interactions with a remote environment and haptic sensory feedback over a network, essentially adding a new sensory dimension to the internet. TI has a wide range of applications such as enabling remote work for professions that require human hands and tactile sensory input like car repairs or medical...
master thesis 2022
Searched for: contributor%3Apanichella
(1 - 20 of 63)

Pages