FIKA: Expanding Dependency Reachability with Executability Guarantees
Fuente:
arXiv
Saved in:
| Main Authors: | Gamage, Yogya, Chaaben, Meriem Ben, Monperrus, Martin, Baudry, Benoit |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
BUMP: A Benchmark of Reproducible Breaking Dependency Updates
by: Reyes, Frank, et al.
Published: (2024)
by: Reyes, Frank, et al.
Published: (2024)
The Design Space of Lockfiles Across Package Managers
by: Gamage, Yogya, et al.
Published: (2025)
by: Gamage, Yogya, et al.
Published: (2025)
PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
by: Tiwari, Deepika, et al.
Published: (2024)
by: Tiwari, Deepika, et al.
Published: (2024)
Software Bills of Materials in Maven Central
by: Gamage, Yogya, et al.
Published: (2025)
by: Gamage, Yogya, et al.
Published: (2025)
Maven-Lockfile: High Integrity Rebuild of Past Java Releases
by: Schmid, Larissa, et al.
Published: (2025)
by: Schmid, Larissa, et al.
Published: (2025)
Unpacking Security Scanners for GitHub Actions Workflows
by: Fares, Madjda, et al.
Published: (2026)
by: Fares, Madjda, et al.
Published: (2026)
Breaking-Good: Explaining Breaking Dependency Updates with Build Analysis
by: Reyes, Frank, et al.
Published: (2024)
by: Reyes, Frank, et al.
Published: (2024)
Mimicking Production Behavior with Generated Mocks
by: Tiwari, Deepika, et al.
Published: (2022)
by: Tiwari, Deepika, et al.
Published: (2022)
Causes and Canonicalization of Unreproducible Builds in Java
by: Sharma, Aman, et al.
Published: (2025)
by: Sharma, Aman, et al.
Published: (2025)
Serializing Java Objects in Plain Code
by: Wachter, Julian, et al.
Published: (2024)
by: Wachter, Julian, et al.
Published: (2024)
With Great Humor Comes Great Developer Engagement
by: Tiwari, Deepika, et al.
Published: (2023)
by: Tiwari, Deepika, et al.
Published: (2023)
Byam: Fixing Breaking Dependency Updates with Large Language Models
by: Reyes, Frank, et al.
Published: (2025)
by: Reyes, Frank, et al.
Published: (2025)
WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly
by: Cabrera-Arteaga, Javier, et al.
Published: (2023)
by: Cabrera-Arteaga, Javier, et al.
Published: (2023)
SBOM.EXE: Countering Dynamic Code Injection based on Software Bill of Materials in Java
by: Sharma, Aman, et al.
Published: (2024)
by: Sharma, Aman, et al.
Published: (2024)
Dirty-Waters: Detecting Software Supply Chain Smells
by: Liu, Raphina, et al.
Published: (2024)
by: Liu, Raphina, et al.
Published: (2024)
Generative AI to Generate Test Data Generators
by: Baudry, Benoit, et al.
Published: (2024)
by: Baudry, Benoit, et al.
Published: (2024)
Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
by: Schmid, Larissa, et al.
Published: (2026)
by: Schmid, Larissa, et al.
Published: (2026)
Galapagos: Automated N-Version Programming with LLMs
by: Ron, Javier, et al.
Published: (2024)
by: Ron, Javier, et al.
Published: (2024)
Highly Available Blockchain Nodes With N-Version Design
by: Ron, Javier, et al.
Published: (2023)
by: Ron, Javier, et al.
Published: (2023)
Maven-Hijack: Software Supply Chain Attack Exploiting Packaging Order
by: Reyes, Frank, et al.
Published: (2024)
by: Reyes, Frank, et al.
Published: (2024)
A Longitudinal Study of Dependency Reclassifications in JavaScript Projects
by: Liu, Yuxin, et al.
Published: (2026)
by: Liu, Yuxin, et al.
Published: (2026)
On the Utility of Domain Modeling Assistance with Large Language Models
by: Chaaben, Meriem Ben, et al.
Published: (2024)
by: Chaaben, Meriem Ben, et al.
Published: (2024)
Mokav: Execution-driven Differential Testing with LLMs
by: Etemadi, Khashayar, et al.
Published: (2024)
by: Etemadi, Khashayar, et al.
Published: (2024)
On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
by: Jin, Monica, et al.
Published: (2025)
by: Jin, Monica, et al.
Published: (2025)
Bootstrapping Coding Agents: The Specification Is the Program
by: Monperrus, Martin
Published: (2026)
by: Monperrus, Martin
Published: (2026)
Software Supply Chain Security of Web3
by: Monperrus, Martin
Published: (2025)
by: Monperrus, Martin
Published: (2025)
The Grand Software Supply Chain of AI Systems
by: Cesarano, Carmine, et al.
Published: (2026)
by: Cesarano, Carmine, et al.
Published: (2026)
Classport: Designing Runtime Dependency Introspection for Java
by: Cofano, Serena, et al.
Published: (2025)
by: Cofano, Serena, et al.
Published: (2025)
Detecting and removing bloated dependencies in CommonJS packages
by: Liu, Yuxin, et al.
Published: (2024)
by: Liu, Yuxin, et al.
Published: (2024)
Do Automated Fixes Truly Mitigate Smart Contract Exploits?
by: Bobadilla, Sofia, et al.
Published: (2025)
by: Bobadilla, Sofia, et al.
Published: (2025)
GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
by: Silva, André, et al.
Published: (2024)
by: Silva, André, et al.
Published: (2024)
A Large-Scale Study of Call Graph-based Impact Prediction using Mutation Testing
by: Musco, Vincenzo, et al.
Published: (2018)
by: Musco, Vincenzo, et al.
Published: (2018)
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
by: Saavedra, Nuno, et al.
Published: (2023)
by: Saavedra, Nuno, et al.
Published: (2023)
Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
by: Ron, Javier, et al.
Published: (2026)
by: Ron, Javier, et al.
Published: (2026)
RepairBench: Leaderboard of Frontier Models for Program Repair
by: Silva, André, et al.
Published: (2024)
by: Silva, André, et al.
Published: (2024)
ITER: Iterative Neural Repair for Multi-Location Patches
by: Ye, He, et al.
Published: (2023)
by: Ye, He, et al.
Published: (2023)
Hyperparameter Optimization for AST Differencing
by: Martinez, Matias, et al.
Published: (2020)
by: Martinez, Matias, et al.
Published: (2020)
GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
by: Cesarano, Carmine, et al.
Published: (2025)
by: Cesarano, Carmine, et al.
Published: (2025)
RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair
by: Silva, André, et al.
Published: (2023)
by: Silva, André, et al.
Published: (2023)
Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks
by: Ron, Javier, et al.
Published: (2024)
by: Ron, Javier, et al.
Published: (2024)
Similar Items
-
BUMP: A Benchmark of Reproducible Breaking Dependency Updates
by: Reyes, Frank, et al.
Published: (2024) -
The Design Space of Lockfiles Across Package Managers
by: Gamage, Yogya, et al.
Published: (2025) -
PROZE: Generating Parameterized Unit Tests Informed by Runtime Data
by: Tiwari, Deepika, et al.
Published: (2024) -
Software Bills of Materials in Maven Central
by: Gamage, Yogya, et al.
Published: (2025) -
Maven-Lockfile: High Integrity Rebuild of Past Java Releases
by: Schmid, Larissa, et al.
Published: (2025)