Cover Image

Checkification: A Practical Approach for Testing Static Analysis Truths

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ferreiro, Daniela, Casso, Ignacio, Morales, Jose F., López-García, Pedro, Hermenegildo, Manuel V.
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
by: Monat, Raphaël
Published: (2025)

On the Anatomy of Real-World R Code for Static Analysis
by: Sihler, Florian, et al.
Published: (2024)

Automated Code Repair for C/C++ Static Analysis Alerts
by: Svoboda, David, et al.
Published: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
by: Xie, Xiaoheng, et al.
Published: (2024)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
by: Zakharov, Vladimir, et al.
Published: (2024)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

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

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

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)

A Trace-based Approach for Code Safety Analysis
by: Xu, Hui
Published: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
by: Dacík, Tomáš, et al.
Published: (2025)

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

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

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
by: Stemmler, Fabian, et al.
Published: (2025)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
by: Li, Ziyang, et al.
Published: (2024)

Customizing Static Analysis using Codesearch
by: Hayoun, Avi, et al.
Published: (2024)

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

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

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
by: Shi, Qingkai, et al.
Published: (2023)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
by: Bhattar, Poornachandratejasvi Laxman, et al.
Published: (2026)

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

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

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

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
by: Zhou, Tianyang, et al.
Published: (2025)

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)

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

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

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

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

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)

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

Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach
by: Du, Y.
Published: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
by: Rak-amnouykit, Ingkarat, et al.
Published: (2024)

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

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