Cover Image

Invariant-Driven Automated Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ribeiro, Ana Catarina
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Requirements-Driven Automated Software Testing: A Systematic Review
by: Wang, Fanyu, et al.
Published: (2025)

Automated Invariant Generation for Solidity Smart Contracts
by: Liu, Ye, et al.
Published: (2024)

Automated Functional Testing for Malleable Mobile Application Driven from User Intent
by: Wang, Yuying, et al.
Published: (2026)

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
by: Duvvuru, Venkata Sai Aswath, et al.
Published: (2025)

Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
by: Liu, Jun, et al.
Published: (2024)

Systematic API Testing Through Model Checking and Executable Contracts
by: Ribeiro, Ana, et al.
Published: (2026)

AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
by: Wu, Jie JW
Published: (2023)

Automated Unit Test Refactoring
by: Gao, Yi, et al.
Published: (2024)

Automated Test Production -- Complement to "Ad-hoc" Testing
by: Gomes, José Marcos, et al.
Published: (2024)

Breaking Barriers in Software Testing: The Power of AI-Driven Automation
by: Naqvi, Saba, et al.
Published: (2025)

Test Oracle Automation in the era of LLMs
by: Molina, Facundo, et al.
Published: (2024)

AugmenTest: Enhancing Tests with LLM-Driven Oracles
by: Khandaker, Shaker Mahmud, et al.
Published: (2025)

MUCOCO: Automated Consistency Testing of Code LLMs
by: Chou, Chua Jin, et al.
Published: (2026)

Automated Test Production -- Systematic Literature Mapping
by: Gomes, José Marcos, et al.
Published: (2024)

Automated Test Production -- Systematic Literature Review
by: Gomes, José Marcos, et al.
Published: (2024)

CooTest: An Automated Testing Approach for V2X Communication Systems
by: Guo, An, et al.
Published: (2024)

Scaling Mobile Chaos Testing with AI-Driven Test Execution
by: Marcano, Juan, et al.
Published: (2026)

TestForge: Feedback-Driven, Agentic Test Suite Generation
by: Jain, Kush, et al.
Published: (2025)

Towards Automated Crowdsourced Testing via Personified-LLM
by: Yu, Shengcheng, et al.
Published: (2026)

Deep Reinforcement Learning for Automated Web GUI Testing
by: Gu, Zhiyu, et al.
Published: (2025)

A Comprehensive Study on Automated Testing with the Software Lifecycle
by: Ali, Hussein Mohammed, et al.
Published: (2024)

Automated Harmfulness Testing for Code Large Language Models
by: Tan, Honghao, et al.
Published: (2025)

Automated Test Case Repair Using Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2024)

Practical, Automated Scenario-based Mobile App Testing
by: Yu, Shengcheng, et al.
Published: (2024)

Leveraging LLM Agents for Automated Video Game Testing
by: Wang, Chengjia, et al.
Published: (2025)

Hybrid Fault-Driven Mutation Testing for Python
by: Alimadadi, Saba, et al.
Published: (2026)

Feature-Driven End-To-End Test Generation
by: Alian, Parsa, et al.
Published: (2024)

Cast: Automated Resilience Testing for Production Cloud Service Systems
by: Chen, Zhuangbin, et al.
Published: (2026)

Automated Testing of Task-based Chatbots: How Far Are We?
by: Clerissi, Diego, et al.
Published: (2026)

PR-Aware Automated Unit Test Generation: Challenges and Opportunities
by: Haratian, Vahid, et al.
Published: (2026)

Combining Type Inference and Automated Unit Test Generation for Python
by: Krodinger, Lukas, et al.
Published: (2025)

Temac: Multi-Agent Collaboration for Automated Web GUI Testing
by: Liu, Chenxu, et al.
Published: (2025)

VISCA: Inferring Component Abstractions for Automated End-to-End Testing
by: Alian, Parsa, et al.
Published: (2025)

Scaling Automated Database System Testing
by: Zhong, Suyang, et al.
Published: (2025)

Automation in Model-Driven Engineering: A look back, and ahead
by: Burgueño, Lola, et al.
Published: (2024)

GUIDE: LLM-Driven GUI Generation Decomposition for Automated Prototyping
by: Kolthoff, Kristian, et al.
Published: (2025)

From Requirements to Test Cases: An NLP-Based Approach for High-Performance ECU Test Case Automation
by: Medeshetty, Nikitha, et al.
Published: (2025)

MIMIC-Py: An Extensible Tool for Personality-Driven Automated Game Testing with Large Language Models
by: Chen, Yifei, et al.
Published: (2026)

Automated Self-Testing as a Quality Gate: Evidence-Driven Release Management for LLM Applications
by: Maiorano, Alexandre Cristovão
Published: (2026)

Sustainability Analysis of Prompt Strategies for SLM-based Automated Test Generation
by: Kumari, Pragati, et al.
Published: (2026)