Searched for: subject%3A%22coverage%22
(1 - 20 of 40)

Pages

List view
Grid view
document
Oosterbaan, Robin (author)
Lely is developing a tethered manure applicator robot, designed to work on the fields of farms. This vehicle called the Jojo, is constrained in its movement due to the attached tether. It can not make tight turns and can only reverse by backtracking the driven path. This thesis explores the path planning issue and provides a novel solution. The...
master thesis 2023
document
Sterk, Alexander (author)
Software development has increasingly become an activity that is (partially) done online on open-source platforms such as GitHub, and with it, so have the tools developers typically use. One such category of tools is that of code coverage tools. These tools track and report coverage data generated during CI tests. As the adoption of these tools...
master thesis 2023
document
Derakhshanfar, P. (author), Devroey, Xavier (author), Panichella, A. (author), Zaidman, A.E. (author), van Deursen, A. (author)
Search-based approaches have been used in the literature to automate the process of creating unit test cases. However, related work has shown that generated tests with high code coverage could be ineffective, i.e., they may not detect all faults or kill all injected mutants. In this paper, we propose Cling, an integration-level test case...
journal article 2023
document
Zhou, C. (author), van Nooijen, R.R.P. (author), Kolechkina, A.G. (author), Gargouri, E.F.G. (author), Slama, Fairouz (author), van de Giesen, N.C. (author)
The dependency structure between hydrological variables is of critical importance to hydrological modelling and forecasting. When a copula capturing that dependence is fitted to a sample, information on the uncertainty of the fit is needed for subsequent hydrological calculations and reasoning. A new method is proposed to report inferential...
journal article 2023
document
Hersyandika, Rizqi (author), Rossanese, Marco (author), Lutu, Andra (author), Yang, Miao (author), Wang, Q. (author), Pollin, Sofie (author)
This paper studies a promising use case of a private 5G network for the sports industry: wearable bodycams and sensors in a football match. This use case requires a reliable and dedicated massive MIMO network to provide uniform coverage with a high capacity in the whole pitch area. The coverage of co-located and distributed (cell-free) massive...
conference paper 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
Bagbaba, Ahmet Cagri (author), Augusto da Silva, F. (author), Sonza Reorda, Matteo (author), Hamdioui, S. (author), Jenihhin, Maksim (author), Sauer, Christian (author)
ISO 26262 requires classifying random hardware faults based on their effects (safe, detected, or undetected) within integrated circuits used in automobiles. In general, this classification is addressed using expert judgment and a combination of tools. However, the growth of integrated circuit complexity creates a huge fault space; hence, this...
journal article 2022
document
Charitidou, Maria (author), Keviczky, T. (author)
Multiple robots are increasingly being considered in a variety of tasks requiring continuous surveillance of a dynamic area, examples of which are environmental monitoring, and search and rescue missions. Motivated by these applications, in this paper we consider the multi-robot persistent coverage control problem over a grid environment. The...
journal article 2022
document
den Ridder, M.J. (author), Knibbe, E. (author), van den Brandeler, Wiebeke (author), Daran-Lapujade, P.A.S. (author), Pabst, Martin (author)
The importance of obtaining comprehensive and accurate information from cellular proteomics experiments asks for a systematic investigation of sample preparation protocols. In particular when working with unicellular organisms with strong cell walls, such as found in the model organism and cell factory Saccharomyces cerevisiae. Here, we...
journal article 2022
document
Derakhshanfar, P. (author), Devroey, Xavier (author)
Basic Block Coverage (BBC) is a secondary objective for search-based unit test generation techniques relying on the approach level and branch distance to drive the search process. Unlike the approach level and branch distance, which considers only information related to the coverage of explicit branches coming from conditional and loop...
conference paper 2022
document
Shubhendu Shrivastava, Shubhendu (author)
Automotive semiconductor industry has the most critical requirement of quality and hence, pursuits for zero defects. However, due to aggressive scaling, this pursuit has been challenged by the test escapes due to latent gate oxide shorts, despite of being subjected to voltage stress testing using Pseudo Stuck-At test patterns to screen out...
master thesis 2021
document
Holtgrefe, Niels (author)
In this thesis we analyse the class of <i>maximum coverage</i> problems. For all discussed problems, linear programs are formulated. Using the notion of <i>submodularity</i>, we prove that for the weighted version of the basic <i>Maximum Coverage</i> problem, where the weights differ per set, a polynomial-time greedy algorithm guarantees a (1 -...
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
Korthals Altes, Maurits (author)
The introduction of Robotic &amp; Autonomous Systems (RAS) in modern combat seems inevitable, with clear advantages like reduced risk and extensification of personnel. To scope this research, persistent reconnaissance with heterogeneous Unmanned Aerial Vehicles (UAVs) is selected, being one of the more prominent applications. Despite continuous...
master thesis 2021
document
Bertrand-Krajewski, Jean-Luc (author), Uhl, Mathias (author), Clemens, F.H.L.R. (author)
Assessing uncertainties in measurements must become a standard practice in the field of urban drainage andstormwater management. This chapter presents three standard methods to estimate uncertainties: the Type Amethod (repeated measurements), the Type B method (law of propagation of uncertainties) and the MCmethod (Monte Carlo method). Each...
book chapter 2021
document
Pourmohammad-Zia, Nadia (author), Karimi, Behrooz (author), Rezaei, J. (author)
The accurate operation of a Food Supply Chain (FSC) is a critical issue as it directly interfaces with health and safety matters. This study addresses coordination and conflict management in a three-level FSC that embraces a new inventory type known as growing items like poultry and livestock. The chain involves a rearing farm as the supplier...
journal article 2021
document
Wen, P. (author), Lohlefink, C.G.K. (author), Rem, P.C. (author)
Can random deposition create dense non-overlapping material feeding? The question is very fundamental for the research of particle packing, while the answer is of great importance for any industrial process that applies single object operation. To gain an insight into this issue, we studied the overlap problems of convex particles in the...
journal article 2021
document
Evers, B. (author), Derakhshanfar, P. (author), Devroey, Xavier (author), Zaidman, A.E. (author)
Various search-based test generation techniques have been proposed to automate the generation of unit tests fulfilling different criteria (e.g., line coverage, branch coverage, mutation score, etc.). Despite several advances made over the years, search-based unit test generation still suffers from a lack of guidance due to the limited amount of...
conference paper 2020
document
Evers, Björn (author)
Various search-based test generation techniques have been proposed to automate the process of test generation to fulfill different criteria (e.g., line coverage, branch coverage, mutation score, etc.). Despite these techniques' undeniable accomplishments, they still suffer from a lack of guidance coming from the data gathered from the production...
master thesis 2020
document
Matar, Jalal (author), Rodriguez-Cassola, Marc (author), Krieger, Gerhard (author), Lopez Dekker, F.J. (author), Moreira, Alberto (author)
Existing microwave remote sensing instruments used for Earth observation face a clear tradeoff between spatial resolution and revisit times at global scales. The typical imaging capabilities of current systems range from daily observations at kilometer-scale resolutions provided by scatterometers to meter-scale resolutions at lower temporal...
journal article 2020
Searched for: subject%3A%22coverage%22
(1 - 20 of 40)

Pages

List view
Grid view