中文
相关论文

相关论文: Exploratory Test Agents for Stateful Software Syst…

200 篇论文

We analyze the challenges of benchmarking scientific (multi)-agentic systems, including the difficulty of distinguishing reasoning from retrieval, the risks of data/model contamination, the lack of reliable ground truth for novel research…

计算机与社会 · 计算机科学 2026-04-07 Marcin Abram

Agents and agent systems are becoming more and more important in the development of a variety of fields such as ubiquitous computing, ambient intelligence, autonomous computing, intelligent systems and intelligent robotics. The need for…

人工智能 · 计算机科学 2009-02-23 Mark Burgin , Gordana Dodig-Crnkovic

Usability evaluation is critical to the impact and adoption of open source software (OSS), yet traditional methods relying on human evaluators suffer from high costs and limited scalability. To address these limitations, we introduce…

软件工程 · 计算机科学 2025-05-30 Lingkai Meng , Yu Shao , Long Yuan , Longbin Lai , Peng Cheng , Wenyuan Yu , Wenjie Zhang , Xuemin Lin , Jingren Zhou

Software testing is a critical element of software quality assurance and represents the ultimate review of specification, design and coding. Software testing is the process of testing the functionality and correctness of software by running…

软件工程 · 计算机科学 2010-01-26 S. S. Riaz Ahamed

Agent-based computing is an active field of research with the goal of building autonomous software of hardware entities. This task is often facilitated by the use of dedicated, specialized frameworks. For almost thirty years, many such…

多智能体系统 · 计算机科学 2023-08-30 Constantin-Valentin Pal , Florin Leon , Marcin Paprzycki , Maria Ganzha

The increasing automation of vehicles is resulting in the integration of more extensive in-vehicle sensor systems, electronic control units, and software. Additionally, vehicle-to-everything communication is seen as an opportunity to extend…

机器人学 · 计算机科学 2024-08-21 Laurenz Adolph , barbara Schütt , David Kraus , Eric Sax

Estimating software testability can crucially assist software managers to optimize test budgets and software quality. In this paper, we propose a new approach that radically differs from the traditional approach of pursuing testability…

软件工程 · 计算机科学 2023-08-01 Luca Guglielmo , Leonardo Mariani , Giovanni Denaro

The process of scientific discovery relies on an interplay of observations, analysis, and hypothesis generation. Machine learning is increasingly being adopted to address individual aspects of this process. However, it remains an open…

人工智能 · 计算机科学 2026-05-26 Maximilian Nägele , Florian Marquardt

Classic evaluation methods of believable agents are time-consuming because they involve many human to judge agents. They are well suited to validate work on new believable behaviours models. However, during the implementation, numerous…

人工智能 · 计算机科学 2010-09-03 Fabien Tencé , Cédric Buche

Complex systems have interested researchers across a broad range of fields for many years and as computing has become more accesible and feasible, it is now possible to simulate aspects of these systems. A major point of research is how…

多智能体系统 · 计算机科学 2019-01-16 George Hassan-Coring

In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of…

软件工程 · 计算机科学 2020-03-02 T. Y. Chen , S. C. Cheung , S. M. Yiu

The search for information on the web is faced with several problems, which arise on the one hand from the vast number of available sources, and on the other hand from their heterogeneity. A promising approach is the use of multi-agent…

多智能体系统 · 计算机科学 2007-05-23 T. Eiter , M. Fink , G. Sabbatini , H. Tompits

Static analysis remains one of the most popular approaches for detecting and correcting poor or vulnerable program code. It involves the examination of code listings, test results, or other documentation to identify errors, violations of…

人工智能 · 计算机科学 2021-08-27 Fitzroy D. Nembhard , Marco M. Carvalho

Research software refers to software development tools that accelerate discovery and simplifies access to digital infrastructures. However, although research software platforms can be built increasingly more innovative and powerful than…

软件工程 · 计算机科学 2018-12-27 Doug Mulholland , Paulo Alencar , Donald Cowan

The study of system complexity primarily has two objectives: to explore underlying patterns and to develop theoretical explanations. Pattern exploration seeks to clarify the mechanisms behind the emergence of system complexity, while…

多智能体系统 · 计算机科学 2026-02-18 Xiao Xue , Deyu Zhou , Ming Zhang , Xiangning Yu , Fei-Yue Wang

Can one estimate the number of remaining faults in a software system? A credible estimation technique would be immensely useful to project managers as well as customers. It would also be of theoretical interest, as a general law of software…

软件工程 · 计算机科学 2013-08-14 Carlo A. Furia , Bertrand Meyer , Manuel Oriol , Andrey Tikhomirov , Yi Wei

With software systems becoming increasingly pervasive and autonomous, our ability to test for their quality is severely challenged. Many systems are called to operate in uncertain and highly-changing environment, not rarely required to make…

软件工程 · 计算机科学 2024-03-21 Luca Giamattei , Roberto Pietrantuono , Stefano Russo

Agents operating with computer and Web use inevitably encounter errors: inaccessible webpages, missing files, local and remote misconfigurations, etc. These errors do not thwart agents based on state-of-the-art models. They helpfully…

计算与语言 · 计算机科学 2026-05-20 Rishi Jha , Harold Triedman , Arkaprabha Bhattacharya , Vitaly Shmatikov

Uncovering potential failure cases is a crucial step in the validation of safety critical systems such as autonomous vehicles. Failure search may be done through logging substantial vehicle miles in either simulation or real world testing.…

机器人学 · 计算机科学 2023-04-04 Peter Du , Katherine Driggs-Campbell

As the complexity and scope of games increase, game testing, also called playtesting, becomes an essential activity to ensure the quality of video games. Yet, the manual, ad-hoc nature of game testing leaves space for automation. In this…