Copertina

Generalized Coverage Criteria for Combinatorial Sequence Testing

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Elyasaf, Achiya, Farchi, Eitan, Margalit, Oded, Weiss, Gera, Weiss, Yeshayahu
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Black-Box Bug-Amplification for Multithreaded Software
di: Weiss, Yeshayahu, et al.
Pubblicazione: (2025)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
di: Yaacov, Tom, et al.
Pubblicazione: (2024)

A Practical Approach to Combinatorial Test Design
di: Farchi, Eitan, et al.
Pubblicazione: (2024)

Evolving Assembly Code in an Adversarial Environment
di: Maliukov, Irina, et al.
Pubblicazione: (2024)

Effective Technical Reviews
di: Ballentine, Scott, et al.
Pubblicazione: (2024)

Quality Engineering for Agile and DevOps on the Cloud and Edge
di: Farchi, Eitan, et al.
Pubblicazione: (2023)

Automatic Generation of Benchmarks and Reliable LLM Judgment for Code Tasks
di: Farchi, Eitan, et al.
Pubblicazione: (2024)

Enhancing Formal Software Specification with Artificial Intelligence
di: Nassar, Antonio Abu, et al.
Pubblicazione: (2026)

Automata Models for Effective Bug Pattern Description
di: Yaacov, Tom, et al.
Pubblicazione: (2025)

An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models
di: Zadorojniy, Alexander, et al.
Pubblicazione: (2025)

Testing Agentic Workflows with Structural Coverage Criteria
di: Kahani, Nafiseh, et al.
Pubblicazione: (2026)

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
di: Yaacov, Tom, et al.
Pubblicazione: (2025)

Technique to Baseline QE Artefact Generation Aligned to Quality Metrics
di: Farchi, Eitan, et al.
Pubblicazione: (2025)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
di: Kauffman, Sean, et al.
Pubblicazione: (2024)

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
di: Zhou, Zhichao, et al.
Pubblicazione: (2023)

A Behavior-Based Knowledge Representation Improves Prediction of Players' Moves in Chess by 25%
di: Skidanov, Benny, et al.
Pubblicazione: (2025)

Generalizing Test Cases for Comprehensive Test Scenario Coverage
di: Qi, Binhang, et al.
Pubblicazione: (2026)

Testing with AI Agents: An Empirical Study of Test Generation Frequency, Quality, and Coverage
di: Yoshimoto, Suzuka, et al.
Pubblicazione: (2026)

Assessing REST API Test Generation Strategies with Log Coverage
di: Reinikainen, Nana, et al.
Pubblicazione: (2026)

Test Adequacy for Metamorphic Testing: Criteria, Measurement, and Implication
di: Fu, An, et al.
Pubblicazione: (2024)

Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls
di: Fandina, Ora Nova, et al.
Pubblicazione: (2025)

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts
di: Fandina, Ora Nova, et al.
Pubblicazione: (2025)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
di: Müller, Robert, et al.
Pubblicazione: (2024)

Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks
di: Zhou, Shide, et al.
Pubblicazione: (2024)

SeqTG: Scalable Combinatorial Test Generation via Sequential Integer Linear Programming
di: Yang, Sitong, et al.
Pubblicazione: (2026)

Many-Objective Search-Based Coverage-Guided Automatic Test Generation for Deep Neural Networks
di: Li, Dongcheng, et al.
Pubblicazione: (2024)

Coverage Isn't Enough: SBFL-Driven Insights into Manually Created vs. Automatically Generated Tests
di: Shimizu, Sasara, et al.
Pubblicazione: (2025)

Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion": A Critical Review and Implications on DNN Coverage Testing
di: Kim, Jinhan, et al.
Pubblicazione: (2026)

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis
di: Guo, Xiujing, et al.
Pubblicazione: (2025)

Reinforcement Learning-Based REST API Testing with Multi-Coverage
di: Nguyen, Tien-Quang, et al.
Pubblicazione: (2024)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
di: Pan, Rongqi, et al.
Pubblicazione: (2025)

Efficient Incremental Code Coverage Analysis for Regression Test Suites
di: Wang, Jiale Amber, et al.
Pubblicazione: (2024)

On Test Sequence Generation using Multi-Objective Particle Swarm Optimization
di: Iqbal, Zain, et al.
Pubblicazione: (2024)

RACC: Representation-Aware Coverage Criteria for LLM Safety Testing
di: Wei, Zeming, et al.
Pubblicazione: (2026)

PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
di: Dreyfuss, Itay, et al.
Pubblicazione: (2025)

Coverage-Guided Testing for Deep Learning Models: A Comprehensive Survey
di: Guo, Hongjing, et al.
Pubblicazione: (2025)

Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
di: Fandina, Ora Nova, et al.
Pubblicazione: (2025)

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics
di: Rahman, Sheikh Md. Mushfiqur, et al.
Pubblicazione: (2026)

PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
di: Chu, Bei, et al.
Pubblicazione: (2025)

Coverage-Guided Road Selection and Prioritization for Efficient Testing in Autonomous Driving Systems
di: Ali, Qurban, et al.
Pubblicazione: (2026)