Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Glock, Johann, Bauer, Clemens, Pinzger, Martin
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases
by: Glock, Johann, et al.
Published: (2023)

Microservice API Evolution in Practice: A Study on Strategies and Challenges
by: Lercher, Alexander, et al.
Published: (2023)

Generating Accurate OpenAPI Descriptions from Java Source Code
by: Lercher, Alexander, et al.
Published: (2024)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
by: Konstantinou, Michael, et al.
Published: (2025)

Test smells in LLM-Generated Unit Tests
by: Ouédraogo, Wendkûuni C., et al.
Published: (2024)

Detecting Semantic Conflicts with Unit Tests
by: Da Silva, Léuson, et al.
Published: (2023)

LLM-based Unit Test Generation via Property Retrieval
by: Zhang, Zhe, et al.
Published: (2024)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
by: Abdullin, Azat, et al.
Published: (2025)

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark
by: Jain, Kush, et al.
Published: (2024)

Clarifying Semantics of In-Context Examples for Unit Test Generation
by: Yang, Chen, et al.
Published: (2025)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
by: Yang, Chen, et al.
Published: (2026)

No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
by: Yuan, Zhiqiang, et al.
Published: (2023)

Test vs Mutant: Adversarial LLM Agents for Robust Unit Test Generation
by: Chang, Pengyu, et al.
Published: (2026)

PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
by: Tiwari, Deepika, et al.
Published: (2024)

Automatically Generating Single-Responsibility Unit Tests
by: Galindo-Gutierrez, Geraldine
Published: (2025)

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
by: Zhou, Zhichao, et al.
Published: (2023)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
by: Christensen, Katrine, et al.
Published: (2025)

ChatUniTest: A Framework for LLM-Based Test Generation
by: Chen, Yinghao, et al.
Published: (2023)

Automated Unit Test Refactoring
by: Gao, Yi, et al.
Published: (2024)

Static Program Analysis Guided LLM Based Unit Test Generation
by: Roychowdhury, Sujoy, et al.
Published: (2025)

On the Evaluation of Large Language Models in Unit Test Generation
by: Yang, Lin, et al.
Published: (2024)

Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
by: Tanaka, Hidetake, et al.
Published: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
by: Xiong, Yiheng, et al.
Published: (2026)

CasModaTest: A Cascaded and Model-agnostic Self-directed Framework for Unit Test Generation
by: Ni, Chao, et al.
Published: (2024)

Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
by: Cai, Yuandao, et al.
Published: (2026)

Elevating Software Quality in Agile Environments: The Role of Testing Professionals in Unit Testing
by: Neves, Lucas, et al.
Published: (2024)

Combining Type Inference and Automated Unit Test Generation for Python
by: Krodinger, Lukas, et al.
Published: (2025)

Search-based Hyperparameter Tuning for Python Unit Test Generation
by: Lukasczyk, Stephan, et al.
Published: (2025)

Constraint-Guided Unit Test Generation for Machine Learning Libraries
by: Krodinger, Lukas, et al.
Published: (2025)

ASTER: Natural and Multi-language Unit Test Generation with LLMs
by: Pan, Rangeet, et al.
Published: (2024)

PR-Aware Automated Unit Test Generation: Challenges and Opportunities
by: Haratian, Vahid, et al.
Published: (2026)

LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest Framework
by: Lops, Andrea, et al.
Published: (2025)

TestART: Improving LLM-based Unit Testing via Co-evolution of Automated Generation and Repair Iteration
by: Gu, Siqi, et al.
Published: (2024)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
by: Long, Peixun, et al.
Published: (2023)

Leveraging GPT-4 for Vulnerability-Witnessing Unit Test Generation
by: Antal, Gábor, et al.
Published: (2025)

Etna: An Evaluation Platform for Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

Understanding and Characterizing Mock Assertions in Unit Tests
by: Zhu, Hengcheng, et al.
Published: (2025)

Security Incentivization: An Empirical Study of how Micropayments Impact Code Security
by: Rass, Stefan, et al.
Published: (2026)