Tootfinder

Security Testing of RESTful APIs With Test Case Mutation
Sebastien Salva, Jarod Sue
https://arxiv.org/abs/2403.03701 https://arxiv.or…

Security Testing of RESTful APIs With Test Case Mutation
The focus of this paper is on automating the security testing of RESTful APIs. The testing stage of this specific kind of components is often performed manually, and this is yet considered as a long and difficult activity. This paper proposes an automated approach to help developers generate test cases for experimenting with each service in isolation. This approach is based upon the notion of test case mutation, which automatically generates new test cases from an original test case set. Test c…

Automated Control Logic Test Case Generation using Large Language Models
Heiko Koziolek, Virendra Ashiwal, Soumyadip Bandyopadhyay, Chandrika K R
https://arxiv.org/abs/2405.01874 …

Automated Control Logic Test Case Generation using Large Language Models
Testing PLC and DCS control logic in industrial automation is laborious and challenging since appropriate test cases are often complex and difficult to formulate. Researchers have previously proposed several automated test case generation approaches for PLC software applying symbolic execution and search-based techniques. Often requiring formal specifications and performing a mechanical analysis of programs, these approaches may uncover specific programming errors but sometimes suffer from stat…

“Violates.” The word you’re looking for is “violates.”
https://thehill.com/regulation/court-battles/4574362-trump-tests-gag-order-by-sharing-articles-on-judges-family/

Trump tests gag order by sharing articles on judge’s family
Former President Trump shared articles critical of Judge Juan Merchan and his family on Wednesday, appearing to test the bounds of the gag order placed on Trump in his New York hush money case. Merchan expanded the gag order Monday to prevent Trump from discussing his family, after the former president made comments critical of…

Cowboys owner Jerry Jones ordered to take paternity test in ongoing 2022 case https://cowboyswire.usatoday.com/2024/02/29/jerry-jones-paternity-test/

Cowboys owner Jerry Jones ordered to take paternity test in ongoing 2022 case
From @ToddBrock24f7: Jones’s lawyers had appealed a recent call for DNA testing to determine if he is the biological father of 27-year-old Alexandra Davis.

A Dual Geometric Test for Forward-Flatness
Bernd Kolar, Johannes Schrotshamer, Markus Sch\"oberl
https://arxiv.org/abs/2404.02816 https://

A Dual Geometric Test for Forward-Flatness
Forward-flatness is a generalization of static feedback linearizability and a special case of a more general flatness concept for discrete-time systems. Recently, it has been shown that this practically quite relevant property can be checked by computing a unique sequence of involutive distributions which generalizes the well-known static feedback linearization test. In this paper, a dual test for forward-flatness based on a unique sequence of integrable codistributions is derived. Since the ma…

New favorite thing: https://treedix.com/products/treedix-usb-cable-tester-board-usb-cable-checker-data-wire-with-acrylic-case-charging-test-data-li…

Treedix USB Cable Tester Board USB Cable Checker Data Wire with Acrylic Case Charging Test Data Line Type-C Micro Type A Type B

This https://arxiv.org/abs/2112.13190 has been replaced.
link: https://scholar.google.com/scholar?q=a

Modularity and partially observed graphs
Suppose that there is an unknown underlying graph $G$ on a large vertex set, and we can test only a proportion of the possible edges to check whether they are present in $G$. If $G$ has high modularity, is the observed graph $G'$ likely to have high modularity? We see that this is indeed the case under a mild condition, in a natural model where we test edges at random. We find that $q^*(G') \geq q^*(G)-\varepsilon$ with probability at least $1-\varepsilon$, as long as the expected number edges …

mask effectiveness stats, Canada
"... the irregular introduction of community mask mandates by 34 regional health authorities created a quasi-experiment useful for evaluating mask effects ... While mask mandate effects were variably significant with unadjusted case counts, they were large & robust when test-adjusted counts were used. We estimate that community mask mandates saved 1000s of lives, & 100s of millions of dollars in care costs, in Ontario in 2020."
#masks

Judge rules Jerry Jones must submit to paternity test amid lawsuit https://www.yardbarker.com/nfl/articles/judge_rules_jerry_jones_must_submit_to_paternity_test_amid_lawsuit/s1_17236_40035440

Judge rules Jerry Jones must submit to paternity test amid lawsuit
Jerry Jones’ attempt to avoid a paternity test in a lawsuit brought forth by a woman claiming to be his biological daughter has failed this week. After hearing from both sides in the case on Feb. 19, a Dallas County judge ruled that Jones must submit to the testing to determine the paternity of Alexandra Davis. Jones’ attorneys, state Sen. Royce West, Levi McCathern and Charles Babcock, appealed a previous ruling against them, arguing that the Dallas Cowboys team owner had a right to privac…

Collons, quin ensurt!
(English translation in alt text)

Automated User Story Generation with Test Case Specification Using Large Language Model
Tajmilur Rahman, Yuecai Zhu
https://arxiv.org/abs/2404.01558 https:…

Automated User Story Generation with Test Case Specification Using Large Language Model
Modern Software Engineering era is moving fast with the assistance of artificial intelligence (AI), especially Large Language Models (LLM). Researchers have already started automating many parts of the software development workflow. Requirements Engineering (RE) is a crucial phase that begins the software development cycle through multiple discussions on a proposed scope of work documented in different forms. RE phase ends with a list of user-stories for each unit task identified through discus…

Examining the robustness of LLM evaluation to the distributional assumptions of benchmarks
Melissa Ailem, Katerina Marazopoulou, Charlotte Siska, James Bono
https://arxiv.org/abs/2404.16966

Examining the robustness of LLM evaluation to the distributional assumptions of benchmarks
Benchmarks have emerged as the central approach for evaluating Large Language Models (LLMs). The research community often relies on a model's average performance across the test prompts of a benchmark to evaluate the model's performance. This is consistent with the assumption that the test prompts within a benchmark represent a random sample from a real-world distribution of interest. We note that this is generally not the case; instead, we hold that the distribution of interest varies accordin…

This https://arxiv.org/abs/2401.11632 has been replaced.
link: https://scholar.google.com/scholar?q=a

What Are We Optimizing For? A Human-centric Evaluation of Deep Learning-based Movie Recommenders
In the past decade, deep learning (DL) models have gained prominence for their exceptional accuracy on benchmark datasets in recommender systems (RecSys). However, their evaluation has primarily relied on offline metrics, overlooking direct user perception and experience. To address this gap, we conduct a human-centric evaluation case study of four leading DL-RecSys models in the movie domain. We test how different DL-RecSys models perform in personalized recommendation generation by conducting…

Understanding random forests and overfitting: a visualization and simulation study
Lasai Barre\~nada, Paula Dhiman, Dirk Timmerman, Anne-Laure Boulesteix, Ben Van Calster
https://arxiv.org/abs/2402.18612

Understanding random forests and overfitting: a visualization and simulation study
Random forests have become popular for clinical risk prediction modelling. In a case study on predicting ovarian malignancy, we observed training c-statistics close to 1. Although this suggests overfitting, performance was competitive on test data. We aimed to understand the behaviour of random forests by (1) visualizing data space in three real world case studies and (2) a simulation study. For the case studies, risk estimates were visualised using heatmaps in a 2-dimensional subspace. The sim…

I made a little 3d-printable case for my “qtpy_synth” test board to help me play with CircuitPython synthio (and Arduino Mozzi). It works pretty well, I like it better than the standoffs I originally started with. And now can have some cool matching 3d-printed knobs! https://www.

Thanking David for the quick fix of a html-validate issue with acceptable values for the textarea tag’s autocomplete attribute (https://gitlab.com/html-validate/html-validate/-/issues/249).
If you’re not using html-validate, you should. Kitten* has is integr…

False positive for autocomplete attribute (street-address marked as invalid) (#249) · Issues · html-validate / html-validate · GitLab
Provide a broad description of the bug. Reduced test-case

This https://arxiv.org/abs/2403.18442 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

Backpropagation-free Network for 3D Test-time Adaptation
Real-world systems often encounter new data over time, which leads to experiencing target domain shifts. Existing Test-Time Adaptation (TTA) methods tend to apply computationally heavy and memory-intensive backpropagation-based approaches to handle this. Here, we propose a novel method that uses a backpropagation-free approach for TTA for the specific case of 3D data. Our model uses a two-stream architecture to maintain knowledge about the source domain as well as complementary target-domain-sp…

I keep meeting students who feel they *must* test their variables for normality before analysis.
I tell them there's no need, & if the test tells them it's normal it's only because N is too small.
I decided to run some simulations to check, though, whether e.g., t-tests degraded more for non-normal data & small Ns.
I was a bit surprised by the result: CI coverage degrades for normal vars just as badly as other symmetric dists, but skewed distributions…

Test function approach to fully nonlinear equations in thin domains
Isabeau Birindelli, Ariela Briani, Hitoshi Ishii
https://arxiv.org/abs/2404.19577 https://arxiv.org/pdf/2404.19577
arXiv:2404.19577v1 Announce Type: new
Abstract: In this note we extend to fully nonlinear operators the well known result on thin domains of Hale and Raugel. The result is more general even in the case of the Laplacian.

SCOTUS sets "authority" test for judging public officials' actions on social media, by @… https://www.

SCOTUS sets "authority" test in public officials' social media case
Justice Amy Coney Barrett announced the opinion for the unanimous court.

Congressional Age Limit Proposed in #NorthDakota in Potential Test Case for Nation
https://www.usnews.co…

Winds of change: the nuclear and galaxy-scale outflows and the X-ray variability of 2MASS 0918 2117
P. Baldini, G. Lanzuisi, M. Brusa, A. Merloni, K. Gkimisi, M. Perna, I. E. Lopez, E. Bertola, Z. Igo, S. Waddell, B. Musiimenta, C. Aydar, R. Arcodia, G. A. Matzeu, A. Luminari, J. Buchner, C. Vignali, M. Dadina, A. Comastri, G. Cresci, S. Marchesi, R. Gilli, F. Tombesi, R. Serafinelli

Winds of change: the nuclear and galaxy-scale outflows and the X-ray variability of 2MASS 0918+2117
Powerful outflows from active galactic nuclei (AGN) can significantly impact the gas reservoirs of their host galaxies. However, it is still unclear how these outflows can propagate from the very central regions of galaxies to their outskirts, and whether nuclear winds can be driven by and/or be responsible for drastic spectral transitions. In this work we test feedback propagation models on the case test of 2MASS 0918+2117 (2M0918), a z=0.149 X-ray variable AGN, which showed tentative evidence…

NakedCapitalism.com is always worth a look, and it looks like particularly now: https://mastodon.social/@EverMama8_/112145647138090653

Large Language Models as Test Case Generators: Performance Evaluation and Enhancement
Kefan Li, Yuan Yuan
https://arxiv.org/abs/2404.13340 https://<…

Large Language Models as Test Case Generators: Performance Evaluation and Enhancement
Code generation with Large Language Models (LLMs) has been extensively studied and achieved remarkable progress. As a complementary aspect to code generation, test case generation is of crucial importance in ensuring the quality and reliability of code. However, using LLMs as test case generators has been much less explored. Current research along this line primarily focuses on enhancing code generation with assistance from test cases generated by LLMs, while the performance of LLMs in test cas…

Gravitational Repulsion in an Expanding Ball of Dust
Diogo P. L. Bragan\c{c}a
https://arxiv.org/abs/2402.18022 https://arxiv.org/pdf/…

Gravitational Repulsion in an Expanding Ball of Dust
In general relativity, there is a velocity dependent term in the gravitational acceleration of a test particle for an observer at infinity. Depending on the direction of motion and the speed, that term can be repulsive. We show that this is also the case in the Parametrized Post-Newtonian (PPN) formalism. We compute the magnitude of that repulsive term for an expanding sphere of dust observed at infinity, and find that it could mimic the effect of a cosmological constant. The time evolution of …

I made a little 3d-printable case for my “qtpy_synth” test board to help me play with CircuitPython synthio (and Arduino Mozzi). It works pretty well, I like it better than the standoffs I originally started with. And now can have some cool matching 3d-printed knobs! https://www.

Symfony: {{ dump() }} creates an iframe - why is that important? In my case, because I test for cy.iframe('iframe:nth-child(1)') in my cypress test, because the damn iframe changes names all the time and it's not in my domain to change.
https://winkelwagen.de/2024/03/14/symf…

Symfony: {{ dump() }} creates an iframe
That’s it, that’s the message. Some context You are here for the story behind? I’m happy to tell you, but might be boring :-) I’m still working on a payment plugin for Shopw…

there is a reason, in the age of climate crisis and massive inequality, that the go-to test case of an AI system is 'Planning a Holiday to a Foreign Country' - FFS

Testing for Asymmetric Information in Insurance with Deep Learning
Serguei Maliar, Bernard Salanie
https://arxiv.org/abs/2404.18207 https://

Testing for Asymmetric Information in Insurance with Deep Learning
The positive correlation test for asymmetric information developed by Chiappori and Salanie (2000) has been applied in many insurance markets. Most of the literature focuses on the special case of constant correlation; it also relies on restrictive parametric specifications for the choice of coverage and the occurrence of claims. We relax these restrictions by estimating conditional covariances and correlations using deep learning methods. We test the positive correlation property by using the …

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
https://arxiv.org/abs/2404.16062

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
This paper introduces a new parallel run-time for QuickCheck, a Haskell library and EDSL for specifying and randomly testing properties of programs. The new run-time can run multiple tests for a single property in parallel, using the available cores. Moreover, if a counterexample is found, the run-time can also shrink the test case in parallel, implementing a parallel search for a locally minimal counterexample. Our experimental results show a 3--9$\times$ speed-up for testing QuickCheck prop…

Optical ray tracing of echelle spectrographs applied to the wavelength solution for precise radial velocities
Marcelo Tala Pinto, Adrian Kaminski, Andreas Quirrenbach, Mathias Zechmeister
https://arxiv.org/abs/2404.19691

Optical ray tracing of echelle spectrographs applied to the wavelength solution for precise radial velocities
We present $\texttt{moes}$, a ray tracing software package that computes the path of rays through echelle spectrographs. Our algorithm is based on sequential direct tracing with Seidel aberration corrections applied at the detector plane. As a test case, we model the CARMENES VIS spectrograph. After subtracting the best model from the data, the residuals yield an rms of 0.024 pix, setting a new standard to the precision of the wavelength solution of state-of-the-art radial velocity instruments.…

Thanking David for the quick fix of a html-validate issue with acceptable values for the textarea tag’s autocomplete attribute (https://gitlab.com/html-validate/html-validate/-/issues/249).
If you’re not using html-validate, you should. Kitten* has is integr…

False positive for autocomplete attribute (street-address marked as invalid) (#249) · Issues · html-validate / html-validate · GitLab
Provide a broad description of the bug. Reduced test-case

My #Fairphone3 arrives on Wednesday. Looking forward to running #UbuntuTouch on it as a test case for viability of ethical phone for kids that helps dodge the worst of mobile apps, behaviours, tracking etc

This https://arxiv.org/abs/2311.06036 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

The Widom-Sobolev formula for discontinuous matrix-valued symbols
We prove the Widom-Sobolev formula for the asymptotic behaviour of truncated Wiener-Hopf operators with discontinuous matrix-valued symbols for three different classes of test functions. The symbols may depend on both position and momentum except when closing the asymptotics for twice differentiable test functions with Hölder singularities. The cut-off domains are allowed to have piecewise differentiable boundaries. In contrast to the case where the symbol is smooth in one variable, the result…

Another evening of layout on the OSHPark KU test board comes to a close.
Only 272 nets left to route and some of those are pretty close to hooked up (e.g. status/control GPIOs on the QSFP ports).
Still nothing on the main MCU, I'm saving that for last.
There's four more big 1210 caps I need to shove onto the VCCINT rail somehow, which might get tricky.
Worst case I can omit some of them and just accept that this board won't be able to max out the entire …

This https://arxiv.org/abs/2310.13485 has been replaced.
initial toot: https://mastoxiv.page/@ar…

Towards nanophotonic optical isolation via inverse design of energy transfer in non-reciprocal media
In this work we generalise the adjoint method of inverse design to nonreciprocal media. As a test case, we use three-dimensional topology optimization via the level-set method to optimise one-way energy transfer for point-like source and observation points. To achieve this we introduce a suite of tools, chiefly what we term the `Faraday-adjoint' method which allows for efficient shape optimization in the presence of magneto-optical media. We carry out an optimization based on a very general equ…

This https://arxiv.org/abs/2403.03537 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIT_…

On the Second-Order Asymptotics of the Hoeffding Test and Other Divergence Tests
Consider a binary statistical hypothesis testing problem, where $n$ independent and identically distributed random variables $Z^n$ are either distributed according to the null hypothesis $P$ or the alternative hypothesis $Q$, and only $P$ is known. A well-known test that is suitable for this case is the so-called Hoeffding test, which accepts $P$ if the Kullback-Leibler (KL) divergence between the empirical distribution of $Z^n$ and $P$ is below some threshold. This work characterizes the first…

Congressional Age Limit Proposed in #NorthDakota in Potential Test Case for Nation
https://www.usnews.co…

ugghh trying to troubleshoot glitchy css animation on firefox. having trouble narrowing it down to a simple reproducible test case

Do Large Language Models Understand Conversational Implicature -- A case study with a chinese sitcom
Shisen Yue, Siyuan Song, Xinyuan Cheng, Hai Hu
https://arxiv.org/abs/2404.19509 https://arxiv.org/pdf/2404.19509
arXiv:2404.19509v1 Announce Type: new
Abstract: Understanding the non-literal meaning of an utterance is critical for large language models (LLMs) to become human-like social communicators. In this work, we introduce SwordsmanImp, the first Chinese multi-turn-dialogue-based dataset aimed at conversational implicature, sourced from dialogues in the Chinese sitcom $\textit{My Own Swordsman}$. It includes 200 carefully handcrafted questions, all annotated on which Gricean maxims have been violated. We test eight close-source and open-source LLMs under two tasks: a multiple-choice question task and an implicature explanation task. Our results show that GPT-4 attains human-level accuracy (94%) on multiple-choice questions. CausalLM demonstrates a 78.5% accuracy following GPT-4. Other models, including GPT-3.5 and several open-source models, demonstrate a lower accuracy ranging from 20% to 60% on multiple-choice questions. Human raters were asked to rate the explanation of the implicatures generated by LLMs on their reasonability, logic and fluency. While all models generate largely fluent and self-consistent text, their explanations score low on reasonability except for GPT-4, suggesting that most LLMs cannot produce satisfactory explanations of the implicatures in the conversation. Moreover, we find LLMs' performance does not vary significantly by Gricean maxims, suggesting that LLMs do not seem to process implicatures derived from different maxims differently. Our data and code are available at https://github.com/sjtu-compling/llm-pragmatics.

Uncertainty quantification in the Henry problem using the multilevel Monte Carlo method
Dmitry Logashenko, Alexander Litvinenko, Raul Tempone, Ekaterina Vasilyeva, Gabriel Wittum
https://arxiv.org/abs/2403.17018

Uncertainty quantification in the Henry problem using the multilevel Monte Carlo method
We investigate the applicability of the well-known multilevel Monte Carlo (MLMC) method to the class of density-driven flow problems, in particular the problem of salinisation of coastal aquifers. As a test case, we solve the uncertain Henry saltwater intrusion problem. Unknown porosity, permeability and recharge parameters are modelled by using random fields. The classical deterministic Henry problem is non-linear and time-dependent, and can easily take several hours of computing time. Uncerta…

Latest NFL news puts substantially more money into Cowboys CB Daron Bland's bank account https://www.yardbarker.com/nfl/articles/latest_nfl_news_puts_substantially_more_money_into_cowbo…

Latest NFL news puts substantially more money into Cowboys CB Daron Bland's bank account
Dallas Cowboys cornerback Daron Bland keeps stacking wins after making NFL history with the most pick-sixes by an NFL player ever. On Monday, the NFL announced its Performance-Based Pay Distributions ahead of the 2024 season, a program that "compensates all players based upon their playing time and salary levels." In Bland's case, the program will net him $759,756 in addition to what he was already set to make, including his Proven Performance Escalator, which will make him over $3 million mor…

Gravitational Repulsion in an Expanding Ball of Dust
Diogo P. L. Bragan\c{c}a
https://arxiv.org/abs/2402.18022 https://arxiv.org/pdf/…

Gravitational Repulsion in an Expanding Ball of Dust
In general relativity, there is a velocity dependent term in the gravitational acceleration of a test particle for an observer at infinity. Depending on the direction of motion and the speed, that term can be repulsive. We show that this is also the case in the Parametrized Post-Newtonian (PPN) formalism. We compute the magnitude of that repulsive term for an expanding sphere of dust observed at infinity, and find that it could mimic the effect of a cosmological constant. The time evolution of …

I made a little 3d-printable case for my “qtpy_synth” test board to help me play with CircuitPython synthio (and Arduino Mozzi). It works pretty well, I like it better than the standoffs I originally started with. And now can have some cool matching 3d-printed knobs! https://www.

in case you were wondering, it's faster to schedule and get the results of a routine TB test from Quest Diagnostics than it is to get a DIGITAL street parking permit from #sfmta.
how much faster? no idea, still waiting on the confirmation it's in the system after having paid for it a week ago.

Did Sam Hartman's extra college year help his NFL future? Hartman thinks so https://www.espn.com/nfl/story/_/id/39913886/quarterback-sam-hartman-nfl-draft-notre-dame-wake-forest-nil-transfer-portal<…

Sam Hartman, the NFL draft and an NIL and portal test case - ESPN
Sam Hartman opted out of the 2023 draft, benefiting from NIL and transferring to play in a pro-style offense. Was it the right move?

This https://arxiv.org/abs/2306.01104 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Large N instantons from topological strings
The $1/N$ expansion of matrix models is asymptotic, and it requires non-perturbative corrections due to large $N$ instantons. Explicit expressions for large $N$ instanton amplitudes are known in the case of Hermitian matrix models with one cut, but not in the multi-cut case. We show that the recent exact results on topological string instanton amplitudes provide the non-perturbative contributions of large $N$ instantons in generic multi-cut, Hermitian matrix models. We present a detailed test i…

Today's project: getting the previous PC build I was using before the upgrade to current gen parts (other than the GPU which is last gen) encased in that Zalman T7. Gonna go in the "bedroom" so I can move this PC to the "living room". Will be a test bench of sorts, wanna explore some self hosting, media server etc options on this thing just to get myself familiar with the tools etc. Eventually thinking I wanna build a real NAS. Prob start with Deb Server, for simplici…

Assessing Delayed Treatment Benefits of Immunotherapy Using Long-Term Average Hazard: A Novel Test/Estimation Approach
Miki Horiguchi, Lu Tian, Kenneth L. Kehl, Hajime Uno
https://arxiv.org/abs/2403.10742

Assessing Delayed Treatment Benefits of Immunotherapy Using Long-Term Average Hazard: A Novel Test/Estimation Approach
Delayed treatment effects on time-to-event outcomes have often been observed in randomized controlled studies of cancer immunotherapies. In the case of delayed onset of treatment effect, the conventional test/estimation approach using the log-rank test for between-group comparison and Cox's hazard ratio to estimate the magnitude of treatment effect is not optimal, because the log-rank test is not the most powerful option, and the interpretation of the resulting hazard ratio is not obvious. Rece…

This https://arxiv.org/abs/2309.16120 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Test-Case-Driven Programming Understanding in Large Language Models for Better Code Generation
Code generation is to automatically generate source code conforming to a given programming specification, which has received extensive attention especially with the development of large language models (LLMs). Due to the inherent difficulty of code generation, the code generated by LLMs may be not aligned with the specification. To improve the performance of LLMs in code generation, some thought-eliciting prompting techniques have been proposed to guide LLMs for specification understanding. How…

This https://arxiv.org/abs/2212.13146 has been replaced.
link: https://scholar.google.com/scholar?q=a

Dark energy and matter interacting scenario can relieve $H_0$ and $S_8$ tensions
We consider a new cosmological model (named $\tildeΛ$CDM) in which the vacuum energy interacts with matter and radiation, and test this model using the current cosmological observations. Using the CMB+BAO+SN (CBS) data set to constrain the model, we find that the $H_0$ and $S_8$ tensions are relieved to $2.87σ$ and $2.77σ$, respectively. However, in this case, the $\tildeΛ$CDM model is not favored by the data, compared with $Λ$CDM. We find that when the $H_0$ and $S_8$ data are added into …

Cygnus OB2 as a test case for particle acceleration in young massive star clusters
Stefano Menchiari, Giovanni Morlino, Elena Amato, Niccol\`o Bucciantini, Maria Teresa Beltr\'an
https://arxiv.org/abs/2402.07784

Cygnus OB2 as a test case for particle acceleration in young massive star clusters
In this paper, we focus on the scientific case of Cygnus OB2, a northern sky young massive stellar cluster (YMSC) located towards the Cygnus X star-forming complex. We consider a model that assumes cosmic ray acceleration occurring only at the termination shock of the collective wind of the YMSC and address the question of whether, and under what hypotheses, hadronic emission by the accelerated particles can account for the observations of Cygnus OB2 obtained by Fermi-LAT, HAWC and LHAASO. In o…

Near-Universally-Optimal Differentially Private Minimum Spanning Trees
Richard Hlad\'ik, Jakub T\v{e}tek
https://arxiv.org/abs/2404.15035 https://

Near-Universally-Optimal Differentially Private Minimum Spanning Trees
Devising mechanisms with good beyond-worst-case input-dependent performance has been an important focus of differential privacy, with techniques such as smooth sensitivity, propose-test-release, or inverse sensitivity mechanism being developed to achieve this goal. This makes it very natural to use the notion of universal optimality in differential privacy. Universal optimality is a strong instance-specific optimality guarantee for problems on weighted graphs, which roughly states that for any …

On the Second-Order Asymptotics of the Hoeffding Test and Other Divergence Tests
K. V. Harsha, Jithin Ravi, Tobias Koch
https://arxiv.org/abs/2403.03537 ht…

On the Second-Order Asymptotics of the Hoeffding Test and Other Divergence Tests
Consider a binary statistical hypothesis testing problem, where $n$ independent and identically distributed random variables $Z^n$ are either distributed according to the null hypothesis $P$ or the alternative hypothesis $Q$, and only $P$ is known. A well-known test that is suitable for this case is the so-called Hoeffding test, which accepts $P$ if the Kullback-Leibler (KL) divergence between the empirical distribution of $Z^n$ and $P$ is below some threshold. This work characterizes the first…

Confirmation of the centrality of the Huanan market among early COVID-19 cases
Florence D\'ebarre, Michael Worobey
https://arxiv.org/abs/2403.05859 htt…

Confirmation of the centrality of the Huanan market among early COVID-19 cases
The centrality of Wuhan's Huanan market in maps of December 2019 COVID-19 case residential locations, established by Worobey et al. (2022a), has recently been challenged by Stoyan and Chiu (2024, SC2024). SC2024 proposed a statistical test based on the premise that the measure of central tendency (hereafter, "centre") of a sample of case locations must coincide with the exact point from which local transmission began. Here we show that this premise is erroneous. SC2024 put forward two alternati…

Passive detection of a random signal common to multi-sensor reference and surveillance arrays
David Ram\'irez, Ignacio Santamaria, Louis L. Scharf
https://arxiv.org/abs/2402.07583

Passive detection of a random signal common to multi-sensor reference and surveillance arrays
This paper addresses the passive detection of a common rank-one subspace signal received in two multi-sensor arrays. We consider the case of a one-antenna transmitter sending a common Gaussian signal, independent Gaussian noises with arbitrary spatial covariance, and known channel subspaces. The detector derived in this paper is a generalized likelihood ratio (GLR) test. For all but one of the unknown parameters, it is possible to find closed-form maximum likelihood (ML) estimator functions. We…

Today's project: getting the previous PC build I was using before the upgrade to current gen parts (other than the GPU which is last gen) encased in that Zalman T7. Gonna go in the "bedroom" so I can move this PC to the "living room". Will be a test bench of sorts, wanna explore some self hosting, media server etc options on this thing just to get myself familiar with the tools etc. Eventually thinking I wanna build a real NAS. Prob start with Deb Server, for simplici…

A two-step approach for analyzing time to event data under non-proportional hazards
Jonas Brugger, Tim Friede, Florian Klinglm\"uller, Martin Posch, Robin Ristl, Franz K\"onig
https://arxiv.org/abs/2402.08336

A two-step approach for analyzing time to event data under non-proportional hazards
The log-rank test and the Cox proportional hazards model are commonly used to compare time-to-event data in clinical trials, as they are most powerful under proportional hazards. But there is a loss of power if this assumption is violated, which is the case for some new oncology drugs like immunotherapies. We consider a two-stage test procedure, in which the weighting of the log-rank test statistic depends on a pre-test of the proportional hazards assumption. I.e., depending on the pre-test eit…

Virtual Cylindrical PET for Efficient DOI Image Reconstruction with Sub-millimetre Resolution
Francisco E Enr\'iquez-Mier-y-Ter\'an, Andre Z Kyme, Georgios Angelis, Steven R Meikle
https://arxiv.org/abs/2403.16465

Virtual Cylindrical PET for Efficient DOI Image Reconstruction with Sub-millimetre Resolution
Objective: Image reconstruction in high resolution PET scanners with depth of interaction (DOI) capability is computationally challenging due to the high sampling in detector and image space. This study evaluates the use of a virtual cylinder to reduce the number of lines of response (LOR) for DOI-based reconstruction while maintaining uniform sub-millimetre spatial resolution. Approach: Virtual geometry was investigated using the awake animal mousePET as a test case. Using GATE, we simulated t…

Mining Transactional Data To Produce Extended Association Rules Using Collaborative Apriori, Fsa-Red And M5p Predictive Algorithm As A Basis Of Business Actions
Feri Sulianta, Laksana Eka Angga, Thee Houw Liong
https://arxiv.org/abs/2403.04179

Mining Transactional Data To Produce Extended Association Rules Using Collaborative Apriori, Fsa-Red And M5p Predictive Algorithm As A Basis Of Business Actions
There are large amounts of transactional data which showed consumer shopping cart at a store that sells more than 150 types of products. In this case, the company is utilizing these data in making business action. In previous studies, the data that has a lot of attributes and record data reduction algorithms handled by the FSA Red (Feature Selection for Association Rules)are then mined using Apriori algorithm. The resulting association rules have high levels of accuracy and excellent test resul…

Enhancing Large Language Models for Text-to-Testcase Generation
Saranya Alagarsamy, Chakkrit Tantithamthavorn, Chetan Arora, Aldeida Aleti
https://arxiv.org/abs/2402.11910

Enhancing Large Language Models for Text-to-Testcase Generation
Context: Test-driven development (TDD) is a widely employed software development practice that involves developing test cases based on requirements prior to writing the code. Although various methods for automated test case generation have been proposed, they are not specifically tailored for TDD, where requirements instead of code serve as input. Objective: In this paper, we introduce a text-to-testcase generation approach based on a large language model (GPT-3.5) that is fine-tuned on our cur…

This https://arxiv.org/abs/2103.01412 has been replaced.
link: https://scholar.google.com/scholar?q=a

Some Finite Sample Properties of the Sign Test
This paper contains two finite-sample results concerning the sign test. First, we show that the sign-test is unbiased with independent, non-identically distributed data for both one-sided and two-sided hypotheses. The proof for the two-sided case is based on a novel argument that relates the derivatives of the power function to a regular bipartite graph. Unbiasedness then follows from the existence of perfect matchings on such graphs. Second, we provide a simple theoretical counterexample to sh…

This https://arxiv.org/abs/2404.08354 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Gaining More Insight into Neural Semantic Parsing with Challenging Benchmarks
The Parallel Meaning Bank (PMB) serves as a corpus for semantic processing with a focus on semantic parsing and text generation. Currently, we witness an excellent performance of neural parsers and generators on the PMB. This might suggest that such semantic processing tasks have by and large been solved. We argue that this is not the case and that performance scores from the past on the PMB are inflated by non-optimal data splits and test sets that are too easy. In response, we introduce sever…

Algorithmic Collective Action in Recommender Systems: Promoting Songs by Reordering Playlists
Joachim Baumann, Celestine Mendler-D\"unner
https://arxiv.org/abs/2404.04269

Algorithmic Collective Action in Recommender Systems: Promoting Songs by Reordering Playlists
We investigate algorithmic collective action in transformer-based recommender systems. Our use case is a collective of fans aiming to promote the visibility of an artist by strategically placing one of their songs in the existing playlists they control. The success of the collective is measured by the increase in test-time recommendations of the targeted song. We introduce two easily implementable strategies towards this goal and test their efficacy on a publicly available recommender system mo…

This https://arxiv.org/abs/2309.13211 has been replaced.
initial toot: https://mastoxiv.page/@ar…

Interpretable structural model error discovery from sparse assimilation increments using spectral bias-reduced neural networks: A quasi-geostrophic turbulence test case
Earth system models suffer from various structural and parametric errors in their representation of nonlinear, multi-scale processes, leading to uncertainties in their long-term projections. The effects of many of these errors (particularly those due to fast physics) can be quantified in short-term simulations, e.g., as differences between the predicted and observed states (analysis increments). With the increase in the availability of high-quality observations and simulations, learning nudging…

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
Christoph Bockisch, Gabriele Taentzer, Daniel Neufeld
https://arxiv.org/abs/2404.14097

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
Mutation testing is an approach to check the robustness of test suites. The program code is slightly changed by mutations to inject errors. A test suite is robust enough if it finds such errors. Tools for mutation testing usually integrate sets of mutation operators such as, for example, swapping arithmetic operators; modern tools typically work with compiled code such as Java bytecode. In this case, the mutations must be defined in such a way that the mutated program still can be loaded and ex…

A New Statistic for Testing Covariance Equality in High-Dimensional Gaussian Low-Rank Models
R\'emi Beisson, Pascal Vallet, Audrey Giremus, Guillaume Ginolhac
https://arxiv.org/abs/2404.07100

A New Statistic for Testing Covariance Equality in High-Dimensional Gaussian Low-Rank Models
In this paper, we consider the problem of testing equality of the covariance matrices of L complex Gaussian multivariate time series of dimension $M$ . We study the special case where each of the L covariance matrices is modeled as a rank K perturbation of the identity matrix, corresponding to a signal plus noise model. A new test statistic based on the estimates of the eigenvalues of the different covariance matrices is proposed. In particular, we show that this statistic is consistent and wit…

To impute or not to? Testing multivariate normality on incomplete dataset: Revisiting the BHEP test
Danijel Aleksi\'c, Bojana Milo\v{s}evi\'c
https://arxiv.org/abs/2404.07136

To impute or not to? Testing multivariate normality on incomplete dataset: Revisiting the BHEP test
In this paper, we focus on testing multivariate normality using the BHEP test with data that are missing completely at random. Our objective is twofold: first, to gain insight into the asymptotic behavior of BHEP test statistics under two widely used approaches for handling missing data, namely complete-case analysis and imputation, and second, to compare the power performance of test statistic under these approaches. It is observed that under the imputation approach, the affine invariance of t…

This https://arxiv.org/abs/2309.01338 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Electric and dilatonic fields of a charged massive particle at rest in the field of a charged dilaton black hole
We study linear-perturbation equations for the two-body system of a charged dilaton black hole, of which dilaton coupling constant is $α$, and a static particle with mass $m$, electric charge $q$, and dilatonic charge $βm$. We find that a consistent condition for the coupled equations corresponds to the equilibrium condition of the test particle. The expressions of classical fields are given in closed analytical formulas in the most interesting case with $β=α$. We examine the electrical fie…

This https://arxiv.org/abs/2305.07388 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

A Dynamical Yukawa$_{2}$ Model
We prove local (in space and time) well-posedness for a mildly regularised version of the stochastic quantisation of the Yukawa$_{2}$ Euclidean field theory with a self-interacting boson. Our regularised dynamic is still singular but avoids non-local divergences, allowing us to use a version of the Da Prato--Debussche argument. This model is a test case for a non-commutative probability framework for formulating the kind of singular SPDEs arising in the stochastic quantisation of field theories…

Mechanisms of Elevated Temperature Galling in Hardfacings
Samuel R. Rogers, David Stewart, Paul Taplin, David Dye
https://arxiv.org/abs/2403.07730 https://…

Mechanisms of Elevated Temperature Galling in Hardfacings
The galling mechanism of Tristelle 5183, an Fe-based hardfacing alloy, was investigated at elevated temperature. The test was performed using a bespoke galling rig. Adhesive transfer and galling were found to occur, as a result of shear at the adhesion boundary and the activation of an internal shear plane within one of the tribosurfaces. During deformation, carbides were observed to have fractured, as a result of the shear train they were exposed to and their lack of ductility. In the case of …

This https://arxiv.org/abs/2305.17496 has been replaced.
link: https://scholar.google.com/scholar?q=a

Toward Cost-effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
Adaptive Random Testing (ART) enhances the testing effectiveness (including fault-detection capability) of Random Testing (RT) by increasing the diversity of the random test cases throughout the input domain. Many ART algorithms have been investigated such as Fixed-Size-Candidate-Set ART (FSCS) and Restricted Random Testing (RRT), and have been widely used in many practical applications. Despite its popularity, ART suffers from the problem of high computational costs during test-case generation…

Humboldt Highway II -- computer cluster on renewable energies
Danyer Perez Adan, Luis Ignacio Estevez Banos, Tony Cass, Bjoern Felkers, Fernando Guzman, Thomas Hartmann, Beate Heinemann, Hannes Jung, Yves Kemp, Frank Lehner, J\"urgen Nicklaus, David Gutierrez Menendez, Sandra Consuegra Rodriguez, Cesar Garcia Trapaga, Lidice Vaillant, Rodney Walker

Humboldt Highway II -- computer cluster on renewable energies
In August 2023, IT experts and scientists came together for a workshop to discuss the possibilities of building a computer cluster fully on renewable energies, as a test-case at Havana University in Cuba. The discussion covered the scientific needs for a computer cluster for particle physics at the InSTEC institute at Havana University, the possibilities to use solar energy, new developments in computing technologies, and computer cluster operation as well as operational needs for computing in …

This https://arxiv.org/abs/2309.02595 has been replaced.
initial toot: https://mastoxiv.page/@…

How to measure the free energy and partition function from atom-atom correlations
We propose an experimental approach for determining thermodynamic properties of ultracold atomic gases with short-range interactions. As a test case, we focus on the one-dimensional (1D) Bose gas described by the integrable Lieb-Liniger model. The proposed approach relies on deducing the Helmholtz or Landau free energy directly from measurements of local atom-atom correlations by utilising the inversion of a finite-temperature version of the Hellmann-Feynman theorem. We demonstrate this approac…

Tests for categorical data beyond Pearson: A distance covariance and energy distance approach
Fernando Castro-Prado, Wenceslao Gonz\'alez-Manteiga, Javier Costas, Fernando Facal, Dominic Edelmann
https://arxiv.org/abs/2403.12711

Tests for categorical data beyond Pearson: A distance covariance and energy distance approach
Categorical variables are of uttermost importance in biomedical research. When two of them are considered, it is often the case that one wants to test whether or not they are statistically dependent. We show weaknesses of classical methods -- such as Pearson's and the G-test -- and we propose testing strategies based on distances that lack those drawbacks. We first develop this theory for classical two-dimensional contingency tables, within the context of distance covariance, an association mea…

This https://arxiv.org/abs/2305.17496 has been replaced.
link: https://scholar.google.com/scholar?q=a

Toward Cost-effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
Adaptive Random Testing (ART) enhances the testing effectiveness (including fault-detection capability) of Random Testing (RT) by increasing the diversity of the random test cases throughout the input domain. Many ART algorithms have been investigated such as Fixed-Size-Candidate-Set ART (FSCS) and Restricted Random Testing (RRT), and have been widely used in many practical applications. Despite its popularity, ART suffers from the problem of high computational costs during test-case generation…

LLM-Powered Test Case Generation for Detecting Tricky Bugs
Kaibo Liu, Yiyang Liu, Zhenpeng Chen, Jie M. Zhang, Yudong Han, Yun Ma, Ge Li, Gang Huang
https://arxiv.org/abs/2404.10304

Mechanisms of Elevated Temperature Galling in Hardfacings
Samuel R. Rogers, David Stewart, Paul Taplin, David Dye
https://arxiv.org/abs/2403.07730 https://…

Mechanisms of Elevated Temperature Galling in Hardfacings
The galling mechanism of Tristelle 5183, an Fe-based hardfacing alloy, was investigated at elevated temperature. The test was performed using a bespoke galling rig. Adhesive transfer and galling were found to occur, as a result of shear at the adhesion boundary and the activation of an internal shear plane within one of the tribosurfaces. During deformation, carbides were observed to have fractured, as a result of the shear train they were exposed to and their lack of ductility. In the case of …

LLM-Powered Test Case Generation for Detecting Tricky Bugs
Kaibo Liu, Yiyang Liu, Zhenpeng Chen, Jie M. Zhang, Yudong Han, Yun Ma, Ge Li, Gang Huang
https://arxiv.org/abs/2404.10304

On the Integration of Spectrum-Based Fault Localization Tools into IDEs
Attila Szatm\'ari, Qusay Idrees Sarhan, Gerg\H{o} Balogh, P\'eter Attila Soha, \'Arp\'ad Besz\'edes
https://arxiv.org/abs/2403.11538

On the Integration of Spectrum-Based Fault Localization Tools into IDEs
Spectrum-Based Fault Localization (SBFL) is a technique to be used during debugging, the premise of which is that, based on the test case outcomes and code coverage, faulty code elements can be automatically detected. SBFL is popular among researchers because it is lightweight and easy to implement, and there is a lot of potential in it when it comes to research that aims to improve its effectiveness. Despite this, the technique cannot be found in contemporary development and debugging tools, o…

This https://arxiv.org/abs/2211.13525 has been replaced.
link: https://scholar.google.com/scholar?q=a

Evaluating Search-Based Software Microbenchmark Prioritization
Ensuring that software performance does not degrade after a code change is paramount. A solution is to regularly execute software microbenchmarks, a performance testing technique similar to (functional) unit tests, which, however, often becomes infeasible due to extensive runtimes. To address that challenge, research has investigated regression testing techniques, such as test case prioritization (TCP), which reorder the execution within a microbenchmark suite to detect larger performance chang…

Mercury: An Efficiency Benchmark for LLM Code Synthesis
Mingzhe Du, Anh Tuan Luu, Bin Ji, See-Kiong Ng
https://arxiv.org/abs/2402.07844 https://

Mercury: An Efficiency Benchmark for LLM Code Synthesis
Despite advancements in evaluating Large Language Models (LLMs) for code synthesis, benchmarks have predominantly focused on functional correctness, overlooking the importance of code efficiency. We present Mercury, the first benchmark designated for assessing the code efficiency of LLM code synthesis tasks. Mercury consists of 1,889 programming tasks covering diverse difficulty levels alongside test case generators generating unlimited cases for comprehensive evaluation. Unlike existing benchm…

This https://arxiv.org/abs/2211.13525 has been replaced.
link: https://scholar.google.com/scholar?q=a

Evaluating Search-Based Software Microbenchmark Prioritization
Ensuring that software performance does not degrade after a code change is paramount. A solution is to regularly execute software microbenchmarks, a performance testing technique similar to (functional) unit tests, which, however, often becomes infeasible due to extensive runtimes. To address that challenge, research has investigated regression testing techniques, such as test case prioritization (TCP), which reorder the execution within a microbenchmark suite to detect larger performance chang…

This https://arxiv.org/abs/2403.01971 has been replaced.
link: https://scholar.google.com/scholar?q=a

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
Automated Program Repair (APR) aims to automatically generate patches for rectifying software bugs. Recent strides in Large Language Models (LLM), such as ChatGPT, have yielded encouraging outcomes in APR, especially within the conversation-driven APR framework. Nevertheless, the efficacy of conversation-driven APR is contingent on the quality of the feedback information. In this paper, we propose ContrastRepair, a novel conversation-based APR approach that augments conversation-driven APR by p…