Copertina

Etna: An Evaluation Platform for Property-Based Testing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Keles, Alperen, Shi, Jessica, Kamath, Nikhil, Liu, Tin Nam, Mert, Ceren, Goldstein, Harrison, Pierce, Benjamin C., Lampropoulos, Leonidas
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

DIRT: Database-Integrated Random Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

Mica: Automated Differential Testing for OCaml Modules
di: Ng, Ernest, et al.
Pubblicazione: (2024)

A Declarative Framework for Hand-Crafted Mutation Analysis and Management
di: Keles, Alperen
Pubblicazione: (2026)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
di: Tjoa, Ryan, et al.
Pubblicazione: (2025)

Object Graph Programming
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2024)

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

Pattern-Based Peephole Optimizations with Java JIT Tests
di: Zang, Zhiqiang, et al.
Pubblicazione: (2024)

Evaluating the Language-Based Security for Plugin Development
di: Liang, Naisheng, et al.
Pubblicazione: (2024)

Automatically Testing Functional Properties of Code Translation Models
di: Eniser, Hasan Ferit, et al.
Pubblicazione: (2023)

MBTModelGenerator: Automated Reverse Engineering of Test Models from Clickstream Data for Model-Based Testing of Web Applications
di: Garousi, Vahid, et al.
Pubblicazione: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
di: Diamantakis, Panagiotis, et al.
Pubblicazione: (2025)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
di: Mascetti, Sergio, et al.
Pubblicazione: (2020)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
di: Fakorede, Moshood, et al.
Pubblicazione: (2025)

The Search for Constrained Random Generators
di: Goldstein, Harrison, et al.
Pubblicazione: (2025)

Component Matching Approach in Linking Business and Application Architecture
di: Kamath, Suresh
Pubblicazione: (2024)

Component Matching as a Graph Matching Problem
di: Kamath, Suresh
Pubblicazione: (2024)

Factors Influencing Performance of Students in Software Automated Test Tools Course
di: Haldar, Susmita, et al.
Pubblicazione: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
di: Lochmelis, Denis, et al.
Pubblicazione: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
di: Prasad, Siddhartha, et al.
Pubblicazione: (2023)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
di: Rao, Nikitha, et al.
Pubblicazione: (2024)

Design and Evaluation of a Microservices Cloud Framework for Online Travel Platforms
di: Barua, Biman, et al.
Pubblicazione: (2025)

Checkification: A Practical Approach for Testing Static Analysis Truths
di: Ferreiro, Daniela, et al.
Pubblicazione: (2025)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
di: Rho, Sanghoon, et al.
Pubblicazione: (2024)

A pragmatic look at education and training of software test engineers: Further cooperation of academia and industry is needed
di: Garousi, Vahid, et al.
Pubblicazione: (2024)

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
di: Glock, Johann, et al.
Pubblicazione: (2025)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
di: Westphal, Oliver, et al.
Pubblicazione: (2020)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
di: Cui, Baoquan, et al.
Pubblicazione: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
di: Feng, Qiong, et al.
Pubblicazione: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
di: Shree, Iti, et al.
Pubblicazione: (2025)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
di: Li, Ao, et al.
Pubblicazione: (2025)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
di: Laguna, Ignacio, et al.
Pubblicazione: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)

DrP: Meta's Efficient Investigations Platform at Scale
di: Somani, Shubham, et al.
Pubblicazione: (2025)

JEDI: Java Evaluation of Declarative and Imperative Queries
di: Schiavio, Filippo, et al.
Pubblicazione: (2026)

ISTQB Certifications Under the Lens: Their Contributions to the Software-Testing Profession; and AI-assisted Synthesis of Practitioners' Endorsements and Criticisms
di: Geruslu, Vehid, et al.
Pubblicazione: (2026)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
di: Wang, Yuchen, et al.
Pubblicazione: (2025)

Constant Optimization Driven Database System Testing
di: Zhang, Chi, et al.
Pubblicazione: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
di: Yu, ZeHao
Pubblicazione: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
di: Heinze, Thomas S.
Pubblicazione: (2026)