Cover Image

Type-level Property Based Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hansen, Thomas Ekström, Brady, Edwin
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
by: Lin, Teyu, et al.
Published: (2026)

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

Typing Requirement Model as Coroutines
by: Gu, Qiqi, et al.
Published: (2024)

FLAT: Formal Languages as Types
by: Zhu, Fengmin, et al.
Published: (2025)

Kotlin's Type System is (Also) Unsound
by: Kinsbruner, Elad, et al.
Published: (2024)

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

Getting Python Types Right with RightTyper
by: Pizzorno, Juan Altmayer, et al.
Published: (2025)

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

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

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

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
by: Wang, Yongpan, et al.
Published: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
by: Damiani, Ferruccio, et al.
Published: (2026)

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

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

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

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

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)

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

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

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

Evaluating Program Semantics Reasoning with Type Inference in System F
by: He, Yifeng, et al.
Published: (2025)

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

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

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
by: Chen, Boqi, et al.
Published: (2024)

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

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

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

LLM-Based Repair of Static Nullability Errors
by: Karimipour, Nima, et al.
Published: (2025)

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

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)

StoneDetector: Conventional and versatile code clone detection for Java
by: Heinze, Thomas S., et al.
Published: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
by: Zhu, Qian, et al.
Published: (2025)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
by: Amaral, Isabel, et al.
Published: (2025)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
by: Serebryany, Kostya, et al.
Published: (2023)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
by: Bhatia, Rishipal Singh
Published: (2026)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
by: Erata, Ferhat, et al.
Published: (2024)

Superset Decompilation
by: Liu, Chang, et al.
Published: (2026)