Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Glock, Johann, Bauer, Clemens, Pinzger, Martin
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases
par: Glock, Johann, et autres
Publié: (2023)

Microservice API Evolution in Practice: A Study on Strategies and Challenges
par: Lercher, Alexander, et autres
Publié: (2023)

Generating Accurate OpenAPI Descriptions from Java Source Code
par: Lercher, Alexander, et autres
Publié: (2024)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
par: Konstantinou, Michael, et autres
Publié: (2025)

Test smells in LLM-Generated Unit Tests
par: Ouédraogo, Wendkûuni C., et autres
Publié: (2024)

Detecting Semantic Conflicts with Unit Tests
par: Da Silva, Léuson, et autres
Publié: (2023)

LLM-based Unit Test Generation via Property Retrieval
par: Zhang, Zhe, et autres
Publié: (2024)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
par: Abdullin, Azat, et autres
Publié: (2025)

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark
par: Jain, Kush, et autres
Publié: (2024)

Clarifying Semantics of In-Context Examples for Unit Test Generation
par: Yang, Chen, et autres
Publié: (2025)

Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation
par: Yang, Chen, et autres
Publié: (2026)

No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
par: Yuan, Zhiqiang, et autres
Publié: (2023)

Test vs Mutant: Adversarial LLM Agents for Robust Unit Test Generation
par: Chang, Pengyu, et autres
Publié: (2026)

PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
par: Tiwari, Deepika, et autres
Publié: (2024)

Automatically Generating Single-Responsibility Unit Tests
par: Galindo-Gutierrez, Geraldine
Publié: (2025)

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
par: Zhou, Zhichao, et autres
Publié: (2023)

Programmable Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
par: Christensen, Katrine, et autres
Publié: (2025)

ChatUniTest: A Framework for LLM-Based Test Generation
par: Chen, Yinghao, et autres
Publié: (2023)

Automated Unit Test Refactoring
par: Gao, Yi, et autres
Publié: (2024)

Static Program Analysis Guided LLM Based Unit Test Generation
par: Roychowdhury, Sujoy, et autres
Publié: (2025)

On the Evaluation of Large Language Models in Unit Test Generation
par: Yang, Lin, et autres
Publié: (2024)

Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
par: Tanaka, Hidetake, et autres
Publié: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
par: Xiong, Yiheng, et autres
Publié: (2026)

CasModaTest: A Cascaded and Model-agnostic Self-directed Framework for Unit Test Generation
par: Ni, Chao, et autres
Publié: (2024)

Type-level Property Based Testing
par: Hansen, Thomas Ekström, et autres
Publié: (2024)

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
par: Cai, Yuandao, et autres
Publié: (2026)

Elevating Software Quality in Agile Environments: The Role of Testing Professionals in Unit Testing
par: Neves, Lucas, et autres
Publié: (2024)

Combining Type Inference and Automated Unit Test Generation for Python
par: Krodinger, Lukas, et autres
Publié: (2025)

Search-based Hyperparameter Tuning for Python Unit Test Generation
par: Lukasczyk, Stephan, et autres
Publié: (2025)

Constraint-Guided Unit Test Generation for Machine Learning Libraries
par: Krodinger, Lukas, et autres
Publié: (2025)

ASTER: Natural and Multi-language Unit Test Generation with LLMs
par: Pan, Rangeet, et autres
Publié: (2024)

PR-Aware Automated Unit Test Generation: Challenges and Opportunities
par: Haratian, Vahid, et autres
Publié: (2026)

LLMs for Automated Unit Test Generation and Assessment in Java: The AgoneTest Framework
par: Lops, Andrea, et autres
Publié: (2025)

TestART: Improving LLM-based Unit Testing via Co-evolution of Automated Generation and Repair Iteration
par: Gu, Siqi, et autres
Publié: (2024)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
par: Long, Peixun, et autres
Publié: (2023)

Leveraging GPT-4 for Vulnerability-Witnessing Unit Test Generation
par: Antal, Gábor, et autres
Publié: (2025)

Etna: An Evaluation Platform for Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

Understanding and Characterizing Mock Assertions in Unit Tests
par: Zhu, Hengcheng, et autres
Publié: (2025)

Can Large Language Models Write Good Property-Based Tests?
par: Vikram, Vasudev, et autres
Publié: (2023)