Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Fuente:
arXiv
Saved in:
| Main Authors: | Georgescu, Calin, Olsthoorn, Mitchell, Derakhshanfar, Pouria, Akhin, Marat, Panichella, Annibale |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
TestSpark: IntelliJ IDEA's Ultimate Test Generation Companion
by: Sapozhnikov, Arkadii, et al.
Published: (2024)
by: Sapozhnikov, Arkadii, et al.
Published: (2024)
What Challenges Do Developers Face in AI Agent Systems? An Empirical Study on Stack Overflow & GitHub Issues
by: Asgari, Ali, et al.
Published: (2025)
by: Asgari, Ali, et al.
Published: (2025)
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
by: Abdullin, Azat, et al.
Published: (2025)
by: Abdullin, Azat, et al.
Published: (2025)
Metamorphic Testing of Deep Code Models: A Systematic Literature Review
by: Asgari, Ali, et al.
Published: (2025)
by: Asgari, Ali, et al.
Published: (2025)
A Metamorphic Testing Approach to Diagnosing Memorization in LLM-Based Program Repair
by: De Koning, Milan, et al.
Published: (2026)
by: De Koning, Milan, et al.
Published: (2026)
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)
by: Feng, Qiong, et al.
Published: (2025)
SBFT Tool Competition 2024 -- Python Test Case Generation Track
by: Erni, Nicolas, et al.
Published: (2024)
by: Erni, Nicolas, et al.
Published: (2024)
Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
by: Cao, Clinton, et al.
Published: (2024)
by: Cao, Clinton, et al.
Published: (2024)
Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis
by: Sadykov, Rustam, et al.
Published: (2025)
by: Sadykov, Rustam, et al.
Published: (2025)
Breaking the Silence: the Threats of Using LLMs in Software Engineering
by: Sallou, June, et al.
Published: (2023)
by: Sallou, June, et al.
Published: (2023)
The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs
by: Bartlett, Antony, et al.
Published: (2025)
by: Bartlett, Antony, et al.
Published: (2025)
Data-driven Test Generation for Fuzzing AI Compiler
by: Shen, Qingchao
Published: (2026)
by: Shen, Qingchao
Published: (2026)
RefExpo: Unveiling Software Project Structures through Advanced Dependency Graph Extraction
by: Haratian, Vahid, et al.
Published: (2024)
by: Haratian, Vahid, et al.
Published: (2024)
Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
by: Berg, Lucas, et al.
Published: (2026)
by: Berg, Lucas, et al.
Published: (2026)
Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor
by: Feng, Qiong, et al.
Published: (2024)
by: Feng, Qiong, et al.
Published: (2024)
LitmusKt: Concurrency Stress Testing for Kotlin
by: Lochmelis, Denis, et al.
Published: (2025)
by: Lochmelis, Denis, et al.
Published: (2025)
GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
by: Yan, Wenqi, et al.
Published: (2025)
by: Yan, Wenqi, et al.
Published: (2025)
Bus Factor Explorer
by: Klimov, Egor, et al.
Published: (2024)
by: Klimov, Egor, et al.
Published: (2024)
Cross-Language Dependencies: An Empirical Study of Kotlin-Java
by: Feng, Qiong, et al.
Published: (2024)
by: Feng, Qiong, et al.
Published: (2024)
Fuzzing MLIR Compilers with Custom Mutation Synthesis
by: Limpanukorn, Ben, et al.
Published: (2024)
by: Limpanukorn, Ben, et al.
Published: (2024)
Bug Histories as Sources of Compiler Fuzzing Mutators
by: Liu, Lingjun, et al.
Published: (2025)
by: Liu, Lingjun, et al.
Published: (2025)
CATMA: Conformance Analysis Tool For Microservice Applications
by: Cao, Clinton, et al.
Published: (2024)
by: Cao, Clinton, et al.
Published: (2024)
Kotlin's Type System is (Also) Unsound
by: Kinsbruner, Elad, et al.
Published: (2024)
by: Kinsbruner, Elad, et al.
Published: (2024)
ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
by: Su, Bowei, et al.
Published: (2026)
by: Su, Bowei, et al.
Published: (2026)
Diversity-guided Search Exploration for Self-driving Cars Test Generation through Frenet Space Encoding
by: Blattner, Timo, et al.
Published: (2024)
by: Blattner, Timo, et al.
Published: (2024)
How Do Developers Use Type Inference: An Exploratory Study in Kotlin
by: Flint, Samuel W., et al.
Published: (2024)
by: Flint, Samuel W., et al.
Published: (2024)
FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing
by: Lyu, Yunlong, et al.
Published: (2026)
by: Lyu, Yunlong, et al.
Published: (2026)
ICST Tool Competition 2025 -- Self-Driving Car Testing Track
by: Birchler, Christian, et al.
Published: (2025)
by: Birchler, Christian, et al.
Published: (2025)
Enhancing Fuzz Testing Efficiency through Automated Fuzz Target Generation
by: Tran, Chi Thien
Published: (2026)
by: Tran, Chi Thien
Published: (2026)
Kotlin ML Pack: Technical Report
by: Titov, Sergey, et al.
Published: (2024)
by: Titov, Sergey, et al.
Published: (2024)
FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
by: He, Yifeng, et al.
Published: (2024)
by: He, Yifeng, et al.
Published: (2024)
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
by: Mahathevan, Kabilan, et al.
Published: (2026)
by: Mahathevan, Kabilan, et al.
Published: (2026)
Fuzzing Automatic Differentiation in Deep-Learning Libraries
by: Yang, Chenyuan, et al.
Published: (2023)
by: Yang, Chenyuan, et al.
Published: (2023)
ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
by: Gao, Hongyan, et al.
Published: (2026)
by: Gao, Hongyan, et al.
Published: (2026)
MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)
by: Lee, Jaekwon, et al.
Published: (2024)
A Differential Fuzzing-Based Evaluation of Functional Equivalence in LLM-Generated Code Refactorings
by: Dristi, Simantika Bhattacharjee, et al.
Published: (2026)
by: Dristi, Simantika Bhattacharjee, et al.
Published: (2026)
A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
by: Birchler, Christian, et al.
Published: (2024)
by: Birchler, Christian, et al.
Published: (2024)
Solsmith: Solidity Random Program Generator for Compiler Testing
by: Li, Lantian, et al.
Published: (2025)
by: Li, Lantian, et al.
Published: (2025)
Effective Random Test Generation for Deep Learning Compilers
by: Ren, Luyao, et al.
Published: (2023)
by: Ren, Luyao, et al.
Published: (2023)
Optimization-Aware Test Generation for Deep Learning Compilers
by: Shen, Qingchao, et al.
Published: (2025)
by: Shen, Qingchao, et al.
Published: (2025)
Similar Items
-
TestSpark: IntelliJ IDEA's Ultimate Test Generation Companion
by: Sapozhnikov, Arkadii, et al.
Published: (2024) -
What Challenges Do Developers Face in AI Agent Systems? An Empirical Study on Stack Overflow & GitHub Issues
by: Asgari, Ali, et al.
Published: (2025) -
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
by: Abdullin, Azat, et al.
Published: (2025) -
Metamorphic Testing of Deep Code Models: A Systematic Literature Review
by: Asgari, Ali, et al.
Published: (2025) -
A Metamorphic Testing Approach to Diagnosing Memorization in LLM-Based Program Repair
by: De Koning, Milan, et al.
Published: (2026)