Copertina

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yoon, Gangho, Lee, Eunseok
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering D.2.5; D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
di: Liyanage, Danushka, et al.
Pubblicazione: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
di: Yu, Boxi, et al.
Pubblicazione: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
di: Braione, Pietro, et al.
Pubblicazione: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
di: Sharmin, Shaila, et al.
Pubblicazione: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

Validating Formal Specifications with LLM-generated Test Cases
di: Cunha, Alcino, et al.
Pubblicazione: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
di: Licorish, Sherlock A., et al.
Pubblicazione: (2025)

Understanding and Reusing Test Suites Across Database Systems
di: Zhong, Suyang, et al.
Pubblicazione: (2024)

Evaluating Cryptographic API Misuse Detectors for Go
di: Andersson, Vivi, et al.
Pubblicazione: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
di: Lucio, Levi
Pubblicazione: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
di: Zietsman, Christo
Pubblicazione: (2026)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
di: Eom, Jueon, et al.
Pubblicazione: (2024)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
di: Licorish, Sherlock A., et al.
Pubblicazione: (2025)

Path-optimal symbolic execution of heap-manipulating programs
di: Braione, Pietro, et al.
Pubblicazione: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
di: Hackett, Finn, et al.
Pubblicazione: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
di: Ravi, Ravin, et al.
Pubblicazione: (2026)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
di: Salva, Sébastien, et al.
Pubblicazione: (2025)

Automated Vulnerability Detection Using Deep Learning Technique
di: Yang, Guan-Yan, et al.
Pubblicazione: (2024)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
di: Wienczkowski, Michael
Pubblicazione: (2026)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
di: Susan, Ştefan-Claudiu, et al.
Pubblicazione: (2025)

Monitoring Agentic Systems Before They're Reliable
di: Boston, Marisa Ferrara, et al.
Pubblicazione: (2026)

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
di: Parris, William M.
Pubblicazione: (2026)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
di: Guo, Dongxin, et al.
Pubblicazione: (2026)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
di: Baldonado, Juan Manuel, et al.
Pubblicazione: (2025)

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
di: Feng, Kai, et al.
Pubblicazione: (2025)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
di: Gridin, Iaroslav, et al.
Pubblicazione: (2024)

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
di: Kim, Kieun, et al.
Pubblicazione: (2025)

Recommended Practices for Spreadsheet Testing
di: Panko, Raymond R.
Pubblicazione: (2007)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
di: Chen, Zimu, et al.
Pubblicazione: (2025)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
di: Calboreanu, Elias
Pubblicazione: (2026)

On Interaction Effects in Greybox Fuzzing
di: Kitsios, Konstantinos, et al.
Pubblicazione: (2025)

VLM-Fuzz: Vision Language Model Assisted Recursive Depth-first Search Exploration for Effective UI Testing of Android Apps
di: Demissie, Biniam Fisseha, et al.
Pubblicazione: (2025)

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
di: Jahan, Sigma, et al.
Pubblicazione: (2026)

Good modelling software practices
di: Lemmen, Carsten, et al.
Pubblicazione: (2024)

Automated structural testing of LLM-based agents: methods, framework, and case studies
di: Kohl, Jens, et al.
Pubblicazione: (2026)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
di: Lagermann, Timmie M. R., et al.
Pubblicazione: (2025)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
di: Lee, Gwangmu
Pubblicazione: (2024)

Orion: Fuzzing Workflow Automation
di: Bazalii, Max, et al.
Pubblicazione: (2025)

COMET: Coverage-guided Model Generation For Deep Learning Library Testing
di: Li, Meiziniu, et al.
Pubblicazione: (2022)

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing
di: Yao, Zhiyi
Pubblicazione: (2026)