:: Library Catalog

Omslagsbillede

Saved in:

Bibliografiske detaljer
Main Authors:	Elyasaf, Achiya, Farchi, Eitan, Margalit, Oded, Weiss, Gera, Weiss, Yeshayahu
Format:	Preprint
Udgivet:	2022
Fag:	Software Engineering
Online adgang:	https://arxiv.org/abs/2201.00522
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

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

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

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

Effective Technical Reviews
af: Ballentine, Scott, et al.
Udgivet: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
af: He, Yifeng, et al.
Udgivet: (2024)

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

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