Efficient Test Data Generation for MC/DC with OCL and Search

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sartaj, Hassan, Iqbal, Muhammad Zohaib, Jilani, Atif Aftab Ahmed, Khan, Muhammad Uzair
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Search‐Based MC/DC Test Data Generation With OCL Constraints
von: Hassan Sartaj, et al.
Veröffentlicht: (2024)

Automated System-level Testing of Unmanned Aerial Systems
von: Sartaj, Hassan, et al.
Veröffentlicht: (2024)

PathOCL: Path-Based Prompt Augmentation for OCL Generation with GPT-4
von: Abukhalaf, Seif, et al.
Veröffentlicht: (2024)

Agentic AI in 6G Software Businesses: A Layered Maturity Model
von: Zohaib, Muhammad, et al.
Veröffentlicht: (2025)

Enhancing NeuroEvolution-Based Game Testing: A Branch Coverage Approach for Scratch Programs
von: Sohail, Khizra, et al.
Veröffentlicht: (2025)

Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
von: Sartaj, Hassan, et al.
Veröffentlicht: (2025)

Evaluating LLM-Based Test Generation Under Software Evolution
von: Haroon, Sabaat, et al.
Veröffentlicht: (2026)

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine
von: Isaku, Erblin, et al.
Veröffentlicht: (2024)

Automated Unit Test Case Generation: A Systematic Literature Review
von: Wang, Jason, et al.
Veröffentlicht: (2025)

Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing
von: Karanjai, Rabimba, et al.
Veröffentlicht: (2024)

LLM-based Content Classification Approach for GitHub Repositories by the README Files
von: Mehmood, Malik Uzair, et al.
Veröffentlicht: (2025)

On the Adoption of AI Coding Agents in Open-source Android and iOS Development
von: Khan, Muhammad Ahmad, et al.
Veröffentlicht: (2026)

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
von: Maaz, Muhammad, et al.
Veröffentlicht: (2025)

Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
von: Isaku, Erblin, et al.
Veröffentlicht: (2025)

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic
von: Cao, Clinton, et al.
Veröffentlicht: (2024)

LLM-Based Test Case Generation in DBMS through Monte Carlo Tree Search
von: Chen, Yujia, et al.
Veröffentlicht: (2026)

Data Quality Antipatterns for Software Analytics
von: Bhatia, Aaditya, et al.
Veröffentlicht: (2024)

EvoGPT: Leveraging LLM-Driven Seed Diversity to Improve Search-Based Test Suite Generation
von: Broide, Lior, et al.
Veröffentlicht: (2025)

A State-of-the-practice Release-readiness Checklist for Generative AI-based Software Products
von: Patel, Harsh, et al.
Veröffentlicht: (2024)

Explainable Vulnerability Detection in C/C++ Using Edge-Aware Graph Attention Networks
von: Haque, Radowanul, et al.
Veröffentlicht: (2025)

Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
von: McIntyre-Garcia, Cristopher, et al.
Veröffentlicht: (2024)

Selecting and Combining Large Language Models for Scalable Code Clone Detection
von: Chochlov, Muslim, et al.
Veröffentlicht: (2025)

Toward Automated Validation of Language Model Synthesized Test Cases using Semantic Entropy
von: Taherkhani, Hamed, et al.
Veröffentlicht: (2024)

FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
von: He, Yifeng, et al.
Veröffentlicht: (2024)

Holon Programming Model -- A Software-Defined Approach for System of Systems
von: Ashfaq, Muhammad, et al.
Veröffentlicht: (2024)

Generative Language Models Potential for Requirement Engineering Applications: Insights into Current Strengths and Limitations
von: Saleem, Summra, et al.
Veröffentlicht: (2024)

AIDev: Studying AI Coding Agents on GitHub
von: Li, Hao, et al.
Veröffentlicht: (2026)

Search-based Robustness Testing of Laptop Refurbishing Robotic Software
von: Isaku, Erblin, et al.
Veröffentlicht: (2026)

A PennyLane-Centric Dataset to Enhance LLM-based Quantum Code Generation using RAG
von: Basit, Abdul, et al.
Veröffentlicht: (2025)

The Role of Artificial Intelligence and Machine Learning in Software Testing
von: Ramadan, Ahmed, et al.
Veröffentlicht: (2024)

Software Engineering and Foundation Models: Insights from Industry Blogs Using a Jury of Foundation Models
von: Li, Hao, et al.
Veröffentlicht: (2024)

Energy-Aware Code Generation with LLMs: Benchmarking Small vs. Large Language Models for Sustainable AI Programming
von: Ashraf, Humza, et al.
Veröffentlicht: (2025)

Generative AI to Generate Test Data Generators
von: Baudry, Benoit, et al.
Veröffentlicht: (2024)

SPICE: An Automated SWE-Bench Labeling Pipeline for Issue Clarity, Test Coverage, and Effort Estimation
von: Oliva, Gustavo A., et al.
Veröffentlicht: (2025)

ReqFusion: A Multi-Provider Framework for Automated PEGS Analysis Across Software Domains
von: Khalid, Muhammad, et al.
Veröffentlicht: (2026)

REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application
von: Sartaj, Hassan, et al.
Veröffentlicht: (2024)

Beyond Execution: Static-Analysis Rewards and Hint-Conditioned Diffusion RL for Code Generation
von: Ouyang, Shuyin, et al.
Veröffentlicht: (2026)

Evaluating Workflow Automation Efficiency Using n8n: A Small-Scale Business Case Study
von: Amir, Ahmed Raza, et al.
Veröffentlicht: (2026)

Engineering AI Judge Systems
von: Lin, Jiahuei, et al.
Veröffentlicht: (2024)

HAFixAgent: History-Aware Program Repair Agent
von: Shi, Yu, et al.
Veröffentlicht: (2025)