paper-with-me

Papers software testing

“software testing” 태그가 달린 논문 135편 · 필터 해제

A System for Automated Unit Test Generation Using Large Language Models and Assessment of Generated Test Suites

2024-08-14 · Andrea Lops, Fedelucio Narducci, Azzurra Ragone, Michelantonio Trizio 외

Unit tests represent the most basic level of testing within the software testing lifecycle and are crucial to ensuring software correctness. Designing and creating unit tests is a costly and labor-intensive process that …

Code Generationsoftware testing

MAO: A Framework for Process Model Generation with Multi-Agent Orchestration

2024-08-04 · Leilei Lin, Yumeng Jin, Yingming Zhou, Wenlong Chen 외

Process models are frequently used in software engineering to describe business requirements, guide software testing and control system improvement. However, traditional process modeling methods often require the partici…

Hallucinationsoftware testing

FuzzTheREST: An Intelligent Automated Black-box RESTful API Fuzzer

2024-07-19 · Tiago Dias, Eva Maia, Isabel Praça

Software's pervasive impact and increasing reliance in the era of digital transformation raise concerns about vulnerabilities, emphasizing the need for software security. Fuzzy testing is a dynamic analysis software test…

Reinforcement Learning (RL)software testingVulnerability Detection

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents

2024-06-18 · Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin Vechev

Rigorous software testing is crucial for developing and maintaining high-quality code, making automated test generation a promising avenue for both improving software quality and boosting the effectiveness of code genera…

Code GenerationCode Repairsoftware testing

Data Augmentation by Fuzzing for Neural Test Generation

2024-06-12 · Yifeng He, Jicheng Wang, Yuyang Rong, Hao Chen

Testing is essential to modern software engineering for building reliable software. Given the high costs of manually creating test cases, automated test case generation, particularly methods utilizing large language mode…

Code GenerationData AugmentationDiversitysoftware testing+1

BugBlitz-AI: An Intelligent QA Assistant

2024-05-17 · Yi Yao, Jun Wang, Yabai Hu, LiFeng Wang 외

The evolution of software testing from manual to automated methods has significantly influenced quality assurance (QA) practices. However, challenges persist in post-execution phases, particularly in result analysis and …

software testing

Artificial intelligence for context-aware visual change detection in software test automation

2024-05-01 · Milad Moradi, Ke Yan, David Colwell, Rhona Asgari

Automated software testing is integral to the software development process, streamlining workflows and ensuring product reliability. Visual testing within this context, especially concerning user interface (UI) and user …

Change Detectionsoftware testing

Fuzzy Inference System for Test Case Prioritization in Software Testing

2024-04-25 · Aron Karatayev, Anna Ogorodova, Pakizar Shamoi

In the realm of software development, testing is crucial for ensuring software quality and adherence to requirements. However, it can be time-consuming and resource-intensive, especially when dealing with large and compl…

software testing

LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs

2024-04-16 · Kaibo Liu, Zhenpeng Chen, Yiyang Liu, Jie M. Zhang 외

Detecting tricky bugs in plausible programs, those that pass existing test suites yet still contain bugs, remains a significant challenge in software testing. To address this problem, we propose TrickCatcher, an LLM-powe…

software testing

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches

2024-04-14 · Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan G. Colonna 외

Prompting has become one of the main approaches to leverage emergent capabilities of Large Language Models [Brown et al. NeurIPS 2020, Wei et al. TMLR 2022, Wei et al. NeurIPS 2022]. Recently, researchers and practitione…

ArticlesFault localizationIn-Context Learningsoftware testing+1

Machine Learning Robustness: A Primer

2024-04-01 · Houssem Ben Braiek, Foutse khomh

This chapter explores the foundational concept of robustness in Machine Learning (ML) and its integral role in establishing trustworthiness in Artificial Intelligence (AI) systems. The discussion begins with a detailed d…

software testingTransfer Learning

CoverUp: Effective High Coverage Test Generation for Python

2024-03-24 · Juan Altmayer Pizzorno, Emery D. Berger

Testing is an essential part of software development. Test generation tools attempt to automate the otherwise labor-intensive task of test creation, but generating high-coverage tests remains challenging. This paper prop…

software testing

Comprehensive Evaluation and Insights into the Use of Large Language Models in the Automation of Behavior-Driven Development Acceptance Test Formulation

2024-03-22 · Shanthi Karpurapu, Sravanthy Myneni, Unnati Nettur, Likhit Sagar Gajja 외

Behavior-driven development (BDD) is an Agile testing methodology fostering collaboration among developers, QA analysts, and stakeholders. In this manuscript, we propose a novel approach to enhance BDD practices using la…

Few-Shot LearningIn-Context LearningLarge Language ModelPrompt Engineering+4

Towards Principled Representation Learning from Videos for Reinforcement Learning

2024-03-20 · Dipendra Misra, Akanksha Saran, Tengyang Xie, Alex Lamb 외

We study pre-training representations for decision-making using video data, which is abundantly available for tasks such as game agents and software testing. Even though significant empirical advances have been made on t…

Contrastive Learningreinforcement-learningReinforcement LearningRepresentation Learning+1

RITFIS: Robust input testing framework for LLMs-based intelligent software

2024-02-21 · Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji 외

The dependence of Natural Language Processing (NLP) intelligent software on Large Language Models (LLMs) is increasingly prominent, underscoring the necessity for robustness testing. Current testing methods focus solely …

Combinatorial Optimizationsoftware testing

QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems

2024-02-20 · Jinjing Shi, Zimeng Xiao, Heyuan Shi, Yu Jiang 외

Quantum Neural Network (QNN) combines the Deep Learning (DL) principle with the fundamental theory of quantum mechanics to achieve machine learning tasks with quantum acceleration. Recently, QNN systems have been found t…

software testing

UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing

2024-02-04 · Yifeng He, Jiabo Huang, Yuyang Rong, Yiwen Guo 외

The remarkable capability of large language models (LLMs) in generating high-quality code has drawn increasing attention in the software testing community. However, existing code LLMs often demonstrate unsatisfactory cap…

software testing

On the Challenges of Fuzzing Techniques via Large Language Models

2024-02-01 · Linghan Huang, Peizhou Zhao, Huaming Chen, Lei Ma

In the modern era where software plays a pivotal role, software security and vulnerability analysis are essential for secure software development. Fuzzing test, as an efficient and traditional software testing method, ha…

software testingSurvey

Generative AI to Generate Test Data Generators

2024-01-31 · Benoit Baudry, Khashayar Etemadi, Sen Fang, Yogya Gamage 외

Generating fake data is an essential dimension of modern software testing, as demonstrated by the number and significance of data faking libraries. Yet, developers of faking libraries cannot keep up with the wide range o…

software testing

Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM

2024-01-31 · Gabriel Ryan, Siddhartha Jain, Mingyue Shang, Shiqi Wang 외

Testing plays a pivotal role in ensuring software quality, yet conventional Search Based Software Testing (SBST) methods often struggle with complex software units, achieving suboptimal test coverage. Recent works using …

software testing
← 이전 41–60 / 135 다음 →