RESTestBench shows that LLM-generated REST API test effectiveness drops when interacting with faulty or mutated code, especially for vague requirements, indicating that high-detail requirements make direct SUT interaction unnecessary.
Classes of recursively enumerable sets and their decision problems.Trans- actions of the American Mathematical Society, 74(2):358–366
6 Pith papers cite this work. Polarity classification is still indexing.
6
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
years
2026 6roles
background 2polarities
background 2representative citing papers
QRSI spans degenerate quantum eigenspaces almost surely by conjugating the Hamiltonian with random unitaries on g parallel branches and using subspace estimation, while exactly preserving the spectral gap.
Establishes well-posedness in history space, Lipschitz and weak-star robustness, and compact global attractors with upper semicontinuity for semilinear reaction-diffusion equations with measure-valued delays.
Turing's work relies on Cantor's contributions; a new undecidability measure and U-complete, D-complete, H-complete classes are defined, with a negative answer to a P-vs-NP analog for undecidable problems.
citing papers explorer
-
RESTestBench: A Benchmark for Evaluating the Effectiveness of LLM-Generated REST API Test Cases from NL Requirements
RESTestBench shows that LLM-generated REST API test effectiveness drops when interacting with faulty or mutated code, especially for vague requirements, indicating that high-detail requirements make direct SUT interaction unnecessary.
-
Quantum Randomized Subspace Iteration
QRSI spans degenerate quantum eigenspaces almost surely by conjugating the Hamiltonian with random unitaries on g parallel branches and using subspace estimation, while exactly preserving the spectral gap.
-
Kernel-Robust Dynamics for Reaction-Diffusion Equations with Measure-Valued Delay
Establishes well-posedness in history space, Lipschitz and weak-star robustness, and compact global attractors with upper semicontinuity for semilinear reaction-diffusion equations with measure-valued delays.
-
Turing or Cantor: That is the Question
Turing's work relies on Cantor's contributions; a new undecidability measure and U-complete, D-complete, H-complete classes are defined, with a negative answer to a P-vs-NP analog for undecidable problems.
- Cluster Expansions from Punctured Orbifolds
- Descent Before Hardness: Orbit-Gap Obstructions in Exact Certification