15 papers · ranked by Valyu relevance
Haowei Sun, Shuo Feng, Xintao Yan, Henry Liu
Testing and evaluation is a crucial step in the development and deployment of Connected and Automated Vehicles (CAVs). To comprehensively evaluate the performance of CAVs, it is of necessity to test the CAVs in safety-critical scenarios, which rarely happen in naturalistic driving environment. Therefore, how to…
Chen Qian, Jingbin Xu, Xin Xing, Feng Guo
Testing and validating automated driving systems require carefully designed test cases that capture the complexity of real-world driving conditions. However, the inherent complexity of driving environments and the rarity of safety-critical situations pose significant challenges to developing reliable and efficient…
Nico Schick
This scientific publication focuses on the efficient application of boundary value analysis in the testing of corner cases for kinematic-based safety-critical driving scenarios within the domain of autonomous driving. Corner cases, which represent infrequent and crucial situations, present notable obstacles to the…
Sicheol Sung, Aditi, Dogyu kim, Yo-Sub Han + 1 more
Automated Test Case Generation (ATCG) is crucial for evaluating software reliability, particularly in competitive programming where robust algorithm assessments depend on diverse and accurate test cases. However, existing ATCG methods often fail to meet complex specifications or generate effective corner cases…
David Zelený
One way to analyze the relationship between species attributes and sample attributes via the matrix of species composition is to calculate the community-weighted mean of species attributes (CWM) and relate it to sample attributes by correlation, regression or ANOVA. This weighted-mean approach is frequently used by…
Yanjun Sun, Douglas A Nitz, Xiangmin Xu, Lisa M Giocomo
Corners are a cardinal feature of many of the complex environmental geometries found in the natural world but the neural substrates that could underlie the perception of corners remain elusive. Here we show that the dorsal subiculum contains neurons that encode corners across environmental geometries in an allocentric…
Brittany Johnson, Yuriy Brun, Alexandra Meliou
Understanding the root cause of a defect is critical to isolating and repairing buggy behavior. We present Causal Testing, a new method of root-cause analysis that relies on the theory of counterfactual causality to identify a set of executions that likely hold key causal information necessary to understand and repair…
Victor H. R. Nogueira, Rishabh Sharma, Rafael V. C. Guido, Michael J. Keiser
As efforts to improve the robustness of molecular representations advance, so does the need for methods to test and validate them. We use a Variational Auto-Encoder (VAE), an unsupervised deep learning model, to generate anomalous samples of a well-known molecular string format called SELF-referencIng Embedded Strings…
Afonso Fontes, Francisco Gomes de Oliveira Neto, Robert Feldt
Unit testing is a stage of testing where the smallest segment of code that can be tested in isolation from the rest of the system—often a class—is tested. Unit tests are typically written as executable code, often in a format provided by a unit testing framework such as pytest for Python.
Jimi Sanchez
Pair-wise testing is a type of combinatorial software testing, used in test case generation. Pair-wise testing helps prune the combinatorial explosion that can occur when attempting to test a system with many input options. Pair-wise testing often yields good results at a low cost. However, Pair-wise testing may miss…
Fakeeha Jafari, Aamer Nadeem, Toon Goedemé
Testing an intricate plexus of advanced software system architecture is quite challenging due to the absence of test oracle. Metamorphic testing is a popular technique to alleviate the test oracle problem. The effectiveness of metamorphic testing is dependent on metamorphic relations (MRs). MRs represent the essential…
Sten Vercammen, Mohammad Ghafari, Serge Demeyer, Markus Borg
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. Unfortunately, mutation testing consumes enormous computing resources because it runs the whole test suite for each and every injected mutant. In this paper we explore fine-grained traceability links at method…
Janet Bouttell, Neil Hawkins
It will be smaller than $δ_{\text{triage}}$, as the triage test will identify some false-positives. This is the maximum effective expansion that could be achieved if 1) there are no constraints on the availability of the triage tests and 2) there are sufficient potential cases to be tested to exhaust the reference test…
Matthias Täufer
Pooling of samples can increase lab capacity when using Polymerase chain reaction (PCR) to detect diseases such as COVID-19. However, pool testing is typically performed via an adaptive testing strategy which requires a feedback loop in the lab and at least two PCR runs to confirm positive results. This can cost…
Peter J. G. Teunissen, Davide Imparato, Christian C. J. M. Tiberius
As the navigation solution of exclusion-based RAIM follows from a combination of least-squares estimation and a statistically based exclusion-process, the computation of the integrity of the navigation solution has to take the propagated uncertainty of the combined estimation-testing procedure into account. In this…