A test suite for quantum network applications: Quantifying an application's ability to benchmark a quantum network

Quantum networks provide numerous potential benefits over classical networks, such as enhanced security and faster computation, making their further development a lucrative prospect. As is the case with any technology, the advancement of quantum networks relies on the development of frameworks to test their quality, and compare different...

Laying the foundation for building a Quantum Networking Benchmark suite using Quantum Network Applications: Evaluating the inclusion of the Clauser-Horne-Shimony-Holt game quantum network application

The rapid advancement of Quantum Network architectures necessitates a comprehensive and quantitative comparison to assess their effectiveness and performance. Unfortunately, there does not exist an implemented quantum network benchmark suite capable of determining the superior architecture. Hence, our study aims to establish the foundation for...

A test suite for quantum networks: Assessing an application’s effectiveness as a benchmark for quantum networks

In the development of any new technology, it is essential to have methods to assess the quality of a system, to compare different systems to one another, and to compare different versions of the same system, to see if changes to the system can actually be classified as improvements. For quantum networks, this is no different. To further develop...

Empirical Study on Test Generation Using GitHub Copilot

Writing unit tests is a crucial task in the software development lifecycle, ensuring the correctness of the software developed. Due to its time-consuming and laborious nature, it is, however, often neglected by software engineers. Numerous automatic test generation tools have been devised to ease unit testing efforts, but these test generation...

GitFL: Automated fault localization for environments where code-changes by multiple developers are tested simultaneously

Background: For rigorous software testing, integration and end-to-end tests are essential to ensure the expected behavior of multiple interacting components of the system. When software is subjected to integration or end-to-end tests, it is often unfeasible to test every code change individually, as the runtime of these tests is usually...

Tactics in Agda using reflection

In this thesis, we develop a new library for Agda named Attic, which allows us to create and compose proof tactics that can be used to generate terms through reflection. Such tactics can be converted to Agda macros, allowing them to be used in term positions where they can generate term solutions of the expected type. Tactics can make the...

Automated testing for self-driving cars using real-world roads

Cyber-physical systems are complex systems constructed from different independent parts. A self-driving car is an example of a cyber-physical system where independent parts have to come together in order to result in a car that is able to drive by itself. The main challenge is finding failures within the interactions between the independent...

Analysis of Birefringent Materials to Create Static Polarized Color Patterns for Visible Light Indoor Positioning

Visible Light Positioning (VLP) is an emerging field of research with several possible application. While most state-of-the-art VLP systems work with active modulation of light (switching lights on/off rapidly), this poses issues such as the flickering problem and excessive power consumption. In contrast, passive modulation of light (twisting...

Light Based Activity Recognition Using Realistic Data

In the field of Visible Light Sensing, light sensors are used to extract information from objects which do not actively communicate any information. Previous research within this field proposed the system called SolAR, and proved the possibility of using a solar cell as both a power source and an activity sensor. A wrist mounted solar cell...

Gate Set Tomography for Nitrogen-Vacancy Systems

Quantum computing is an emerging field with many promising future applications. <br/>These include, but are not limited to, quantum machine learning, quantum cryptography and quantum chemical engineering.<br/><br/>Before these can be realised, obstacles, which arise due to scaling, need to be overcome.<br/>To accomplish this, quantum processors...

Blinking LEDs, a potential solution to improve Augmented Reality interactability

Augmented Reality has the potential to expand our interaction with our surrounding environment. A potential solution to improve this interactability is Visible Light Communication through blinking Light Emitting Diodes (LEDs). Data is encoded and then transmitted by blinking the LED, a smart-phone camera is then pointed at the LED to decode the...

They could live - encoding invisible information in displays and ways to extract it

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...

Towards Generic Solving, Generation, and Rating Methods for Strategy-Solvable Pen and Paper Puzzles

Pen and paper puzzles are a fun pastime to test your logical reasoning skills, with Sudoku being the most popular of these puzzles.<br/>While the problem of solving these puzzles is usually in NP-Complete, generating them is more difficult, depending on the type of puzzle.<br/>When generating puzzles for humans, we have to keep in mind how they...

From Trunk-Based to Merge Requests: A Field Study at Adyen

Many development models exist, but finding which one is the right for a specific project or software company is difficult. Every project has its requirements and might need its own development model. The most popular development models are trunk-based development and merge requests.<br/>There are no clear science-based guidelines on when to...

Enabling domain experts to participate in the process of improving software quality using change impact analysis

Software engineers often lack the domain knowledge needed to validate context specific parts of software. Domain experts do have this knowledge needed to validate the software, but often lack the expertise and tools to apply this knowledge in a way that tests the software product. Based on a case study at business-software company Exact, this...

Removing redundant statements in amplified test cases

Amplified test cases created by DSpot and TestCube often contain unnecessary statements that impact the readability of the tests in question. As a part of the effort to make these amplified test cases more developer-friendly, we investigate (dynamic) slicing, taint analysis and static analysis as approaches to remove redundant statements. In...

Test Code Comprehension: Insights from an Eye Tracker

Software maintenance is an essential and time-consuming task during the software development cycle. Readability of test code is a crucial element for performing programming tasks, such as testing, bug fixing and maintaining code. Hence poorly written tests are difficult to maintain and lose their value to developers. In order to overcome this...