:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Cherian, Deepak A.
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2510.13692
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ViMoTest: A Tool to Specify ViewModel-Based GUI Test Scenarios using Projectional Editing
by: Fuksa, Mario, et al.
Published: (2025)

Can Large Language Models Write Good Property-Based Tests?
by: Vikram, Vasudev, et al.
Published: (2023)

Can We Classify Flaky Tests Using Only Test Code? An LLM-Based Empirical Study
by: Berndt, Alexander, et al.
Published: (2026)

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

Preguss: It Analyzes, It Specifies, It Verifies
by: Wang, Zhongyi, et al.
Published: (2025)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
by: Gatherer, Alan, et al.
Published: (2024)

Can We Recycle Our Old Models? An Empirical Evaluation of Model Selection Mechanisms for AIOps Solutions
by: Lyu, Yingzhe, et al.
Published: (2025)

Deep Learning Framework Testing via Model Mutation: How Far Are We?
by: Mu, Yanzhou, et al.
Published: (2025)

Can AI Agents Generate Microservices? How Far are We?
by: Adnan, Bassam, et al.
Published: (2026)

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

How Far Can We Go with Practical Function-Level Program Repair?
by: Xiang, Jiahong, et al.
Published: (2024)

Can We Trust the AI Pair Programmer? Copilot for API Misuse Detection and Correction
by: Mondal, Saikat, et al.
Published: (2025)

Can Language Models Pass Software Testing Certification Exams? a case study
by: Haq, Fitash Ul, et al.
Published: (2026)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
by: Li, Kaixuan, et al.
Published: (2024)

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
by: Glock, Johann, et al.
Published: (2025)

Retrieval-Augmented Test Generation: How Far Are We?
by: Shin, Jiho, et al.
Published: (2024)

Fight Fire with Fire: How Much Can We Trust ChatGPT on Source Code-Related Tasks?
by: Yu, Xiao, et al.
Published: (2024)

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
by: Xiong, Yiheng, et al.
Published: (2026)

Can We Identify Stack Overflow Questions Requiring Code Snippets? Investigating the Cause & Effect of Missing Code Snippets
by: Mondal, Saikat, et al.
Published: (2024)

Can Old Tests Do New Tricks for Resolving SWE Issues?
by: Chen, Yang, et al.
Published: (2025)

Enabling Cost-Effective UI Automation Testing with Retrieval-Based LLMs: A Case Study in WeChat
by: Feng, Sidong, et al.
Published: (2024)

Correct Code, Vulnerable Dependencies: A Large Scale Measurement Study of LLM-Specified Library Versions
by: Wang, Chengjie, et al.
Published: (2026)

Can AI Generate more Comprehensive Test Scenarios? Review on Automated Driving Systems Test Scenario Generation Methods
by: Zhou, Ji, et al.
Published: (2025)

muPRL: A Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults
by: Thomas, Deepak-George, et al.
Published: (2024)

A Service Suite for Specifying Digital Twins for Industry 5.0
by: Esteves, Izaque, et al.
Published: (2025)

LLM-based Unit Test Generation via Property Retrieval
by: Zhang, Zhe, et al.
Published: (2024)

Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization
by: Assad, Michael, et al.
Published: (2024)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

Large Language Models for Equivalent Mutant Detection: How Far Are We?
by: Tian, Zhao, et al.
Published: (2024)

When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
by: Peng, Yibo, et al.
Published: (2025)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)

Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
by: Tanaka, Hidetake, et al.
Published: (2025)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
by: Xiong, Yiheng, et al.
Published: (2026)

Unraveling the Potential of Large Language Models in Code Translation: How Far Are We?
by: Tao, Qingxiao, et al.
Published: (2024)

Large Language Models as Robust Data Generators in Software Analytics: Are We There Yet?
by: Awal, Md. Abdul, et al.
Published: (2024)

Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning
by: de Conto, Eduardo, et al.
Published: (2024)

Can LLM Generate Regression Tests for Software Commits?
by: Liu, Jing, et al.
Published: (2025)

Zero-Permission Manipulation: Can We Trust Large Multimodal Model Powered GUI Agents?
by: Qian, Yi, et al.
Published: (2026)

Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)

Talks that Builds: Exploring Communication factors for the Success of Emerging Professional in Product Teams
by: Zaw, Nyan Lin
Published: (2026)