arXiv subjects

Clemens Bauer

Publications and source records attributed to Clemens Bauer.

9 recordsLinked to original sources

arXiv2025

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests

Conventional unit tests validate single input-output pairs, leaving most inputs of an execution path untested. Property-based testing addresses this shortcoming by generating multiple inputs satisfying properties but requires significant manual effort to define properties and their constraints. We propose a semantics-based approach that automatically transforms unit tests into property-based tests by extracting specifications from implementations via single-path symbolic analysis. We demonstrate this approach through Teralizer, a prototype for Java that transforms JUnit tests into property-based jqwik tests. Unlike prior work that generalizes from input-output examples, Teralizer derives specifications from program semantics. We evaluated Teralizer on three progressively challenging datasets. On EvoSuite-generated tests for EqBench and Apache Commons utilities, Teralizer improved mutation scores by 1-4 percentage points. Generalization of mature developer-written tests from Apache Commons utilities showed only 0.05-0.07 percentage points improvement. Analysis of 632 real-world Java projects from RepoReapers highlights applicability barriers: only 1.7% of projects completed the generalization pipeline, with failures primarily due to type support limitations in symbolic analysis and static analysis limitations in our prototype. Based on the results, we provide a roadmap for future work, identifying research and engineering challenges that need to be tackled to advance the field of test generalization. Artifacts available at: https://doi.org/10.5281/zenodo.17950381

cs.SE↗

arXiv2024

Generating Accurate OpenAPI Descriptions from Java Source Code

Developers require accurate descriptions of REpresentational State Transfer (REST) Application Programming Interfaces (APIs) for a successful interaction between web services. The OpenAPI Specification (OAS) has become the de facto standard for documenting REST APIs. Manually creating an OpenAPI description is time-consuming and error-prone, and therefore several approaches were proposed to automatically generate them from bytecode or runtime information. In this paper, we first study three state-of-the-art approaches, Respector, Prophet, and springdoc-openapi, and present and discuss their shortcomings. Next, we introduce AutoOAS, our approach addressing these shortcomings to generate accurate OpenAPI descriptions. It detects exposed REST endpoint paths, corresponding HTTP methods, HTTP response codes, and the data models of request parameters and responses directly from Java source code. We evaluated AutoOAS on seven real-world Spring Boot projects and compared its performance with the three state-of-the-art approaches. Based on a manually created ground truth, AutoOAS achieved the highest precision and recall when identifying REST endpoint paths, HTTP methods, parameters, and responses. It outperformed the second-best approach, Respector, with a 39% higher precision and 35% higher recall when identifying parameters and a 29% higher precision and 11% higher recall when identifying responses. Furthermore, AutoOAS is the only approach that handles configuration profiles, and it provided the most accurate and detailed description of the data models that were used in the REST APIs.

cs.SE↗

arXiv2014

Model-independent determination of the gluon condensate in four-dimensional SU(3) gauge theory

We determine the non-perturbative gluon condensate of four-dimensional SU(3) gauge theory in a model independent way. This is achieved by carefully subtracting high order perturbation theory results from non-perturbative lattice QCD determinations of the average plaquette. No indications of dimension two condensates are found. The value of the gluon condensate turns out to be of a similar size as the intrinsic ambiguity inherent to its definition.

hep-ph↗

arXiv2014

Perturbative expansion of the plaquette to ${\cal O}(α^{35})$ in four-dimensional SU(3) gauge theory

Using numerical stochastic perturbation theory, we determine the first 35 infinite volume coefficients of the perturbative expansion in powers of the strong coupling constant $α$ of the plaquette in SU(3) gluodynamics. These coefficients are obtained in lattice regularization with the standard Wilson gauge action. The on-set of the dominance of the dimension four renormalon associated to the gluon condensate is clearly observed. We determine the normalization of the corresponding singularity in the Borel plane and convert this into the $\overline{\mathrm{MS}}$ scheme. We also comment on the impact of the renormalon on non-perturbative determinations of the gluon condensate.

hep-ph↗

arXiv2013

The static quark self-energy at O($α^{20}$) in perturbation theory

In Refs. [1,2] we determined the infinite volume coefficients of the perturbative expansions of the self-energies of static sources in the fundamental and adjoint representations in SU(3) gluodynamics to order $α^{20}$. We used numerical stochastic perturbation theory [3], where we employed a new second order integrator and twisted boundary conditions. The expansions were obtained in lattice regularization with the Wilson action and two different discretizations of the covariant time derivative within the Polyakov loop. Overall, we obtained four different perturbative series. For all of them the high order coefficients displayed the factorial growth predicted by the conjectured renormalon picture, based on the operator product expansion. This enabled us to determine the normalization constants of the leading infrared renormalons of heavy quark and heavy gluino pole masses. Here we present improved determinations of the normalization constants and the perturbative coefficients by incorporating the four-loop beta-function coefficient (which we also determine) in the fit function.

hep-lat↗

arXiv2013

Perturbative expansion of the energy of static sources at large orders in four-dimensional SU(3) gauge theory

We determine the infinite volume coefficients of the perturbative expansions of the self-energies of static sources in the fundamental and adjoint representations in SU(3) gluodynamics to order α^{20} in the strong coupling parameter α. We use numerical stochastic perturbation theory, where we employ a new second order integrator and twisted boundary conditions. The expansions are obtained in lattice regularization with the Wilson action and two different discretizations of the covariant time derivative within the Polyakov loop. Overall, we obtain four different perturbative series. For all of them the high order coefficients display the factorial growth predicted by the conjectured renormalon picture, based on the operator product expansion. This enables us to determine the normalization constants of the leading infrared renormalons of heavy quark and heavy gluino pole masses and to translate these into the modified minimal subtraction scheme (MS). We also estimate the four-loop β-function coefficient of the lattice scheme.

hep-lat↗

arXiv2012

Compelling evidence of renormalons in QCD from high order perturbative expansions

We compute the static self-energy of SU(3) gauge theory in four spacetime dimensions to order α^{20} in the strong coupling constant. We employ lattice regularization to enable a numerical simulation within the framework of stochastic perturbation theory. We find perfect agreement with the factorial growth of high order coefficients predicted by the conjectured renormalon picture based on the operator product expansion.

hep-ph↗

arXiv2011

The static quark self-energy at large orders from NSPT

Using Numerical Stochastic Perturbation Theory (NSPT), we calculate the static self-energy of SU(3) gauge theory up to order α^{20}. Simulations on a large set of different lattice volumes allow for a careful treatment of finite size effects. The resulting infinite volume perturbative series of the static self-energy is in remarkable agreement with the predicted asymptotic behaviour of high order expansions, namely with a factorial growth of perturbative coefficients known as renormalon.

hep-lat↗

arXiv2010

Hunting the static energy renormalon

We employ Numerical Stochastic Perturbation Theory (NSPT) together with twisted boundary conditions (TBC) to search for the leading renormalon in the perturbative expansion of the static energy. This renormalon is expected to emerge four times faster than the one for the gluon conden- sate in the plaquette. We extract the static energy from Polyakov loop calculations up to 12 loops and present preliminary results, indicating a significant step towards confirming the theoretical expectation.

hep-lat↗