中文
相关论文

相关论文: TERMINATOR: Better Automated UI Test Case Prioriti…

200 篇论文

Aspects such as limited resources, frequently changing market demands, and different technical restrictions regarding the implementation of software requirements (features) often demand for the prioritization of requirements. The task of…

软件工程 · 计算机科学 2021-08-03 Alexander Felfernig

One of the issues faced by the maintainers of popular open source software is the triage of newly reported issues. Many of the issues submitted to issue trackers are questions. Many people ask questions on issue trackers about their problem…

软件工程 · 计算机科学 2024-12-09 Aidin Rasti

User Interface (UI) design is an creative process that involves considerable reiteration and rework. Designers go through multiple iterations of different prototyping fidelities to create a UI design. In this research, we propose to modify…

人机交互 · 计算机科学 2020-04-08 Vinoth Pandian Sermuga Pandian , Sarah Suleri

Testing of synchronous reactive systems is challenging because long input sequences are often needed to drive them into a state at which a desired feature can be tested. This is particularly problematic in on-target testing, where a system…

软件工程 · 计算机科学 2013-11-07 Peter Schrammel , Tom Melham , Daniel Kroening

Cost-based query optimizers remain one of the most important components of database management systems for analytic workloads. Though modern optimizers select plans close to optimal performance in the common case, a small number of queries…

数据库 · 计算机科学 2019-03-20 Matthew Perron , Zeyuan Shang , Tim Kraska , Michael Stonebraker

Mobile applications in large-scale distributed systems are susceptible to backend service failures, yet traditional chaos engineering approaches cannot scale mobile testing due to the combinatorial explosion of flows, locations, and failure…

Effective issue resolution is crucial for maintaining software quality. Yet developers frequently encounter challenges such as low-quality issue reports, limited understanding of real-world workflows, and a lack of automated support. This…

软件工程 · 计算机科学 2025-12-12 Antu Saha

In earlier work, we developed an approach for automatic complexity analysis of integer programs, based on an alternating modular inference of upper runtime and size bounds for program parts. In this paper, we show how recent techniques to…

计算机科学中的逻辑 · 计算机科学 2022-06-03 Jürgen Giesl , Nils Lommen , Marcel Hark , Fabian Meyer

Benchmarking optimization algorithms is fundamental for the advancement of computational intelligence. However, widely adopted artificial test suites exhibit limited correspondence with the diversity and complexity of real-world engineering…

计算工程、金融与科学 · 计算机科学 2026-04-17 Stefan Ivić , Siniša Družeta , Luka Grbčić

Extensive research exists on the performance of large language models on logic-based tasks, whereas relatively little has been done on their ability to generate creative solutions on lateral thinking tasks. The BrainTeaser shared task tests…

计算与语言 · 计算机科学 2024-09-20 Alvin Po-Chun Chen , Ray Groshan , Sean von Bayern

The integration of Large Language Models (LLMs) into browser extensions has revolutionized web browsing, enabling sophisticated functionalities like content summarization, intelligent translation, and context-aware writing assistance.…

软件工程 · 计算机科学 2025-07-09 Xuanqi Gao , Juan Zhai , Shiqing Ma , Siyi Xie , Chao Shen

Mixed-integer optimisation problems can be computationally challenging. Here, we introduce and analyse two efficient algorithms with a specific sequential design that are aimed at dealing with sampled problems within this class. At each…

最优化与控制 · 数学 2023-03-07 Mohammadreza Chamanbaz , Roland Bouffanais

Context: Selenium is claimed to be the most popular software test automation tool. Past academic works have mainly neglected testing tools in favor of more methodological topics. Objective: We investigated the performance of web-testing…

软件工程 · 计算机科学 2016-11-03 Miikka Kuutila , Mika Mäntylä , Päivi Raulamo-Jurvanen

Agentic systems have been widely studied to automate software engineering jobs such as bug fixing. As these systems increasingly tackle complex tasks, understanding where and why they fail becomes essential for iterative refinement and…

软件工程 · 计算机科学 2026-05-27 Minxing Wang , Xiaofei Xie , Yintong Huo

Today's software quality assurance techniques are often applied in isolation. Consequently, synergies resulting from systematically integrating different quality assurance activities are often not exploited. Such combinations promise…

软件工程 · 计算机科学 2013-11-26 Frank Elberzhager , Alla Rosbach , Jürgen Münch , Robert Eschbach

While autonomous vehicle (AV) technology has shown substantial progress, we still lack tools for rigorous and scalable testing. Real-world testing, the $\textit{de-facto}$ evaluation method, is dangerous to the public. Moreover, due to the…

机器学习 · 计算机科学 2020-06-09 Justin Norden , Matthew O'Kelly , Aman Sinha

Scientific experimentation, a cornerstone of human progress, demands rigor in reliability, methodical control, and interpretability to yield meaningful results. Despite the growing capabilities of large language models (LLMs) in automating…

Analyzing usability test videos is arduous. Although recent research showed the promise of AI in assisting with such tasks, it remains largely unknown how AI should be designed to facilitate effective collaboration between user experience…

人机交互 · 计算机科学 2021-12-24 Mingming Fan , Xianyou Yang , Tsz Tung Yu , Vera Q. Liao , Jian Zhao

With the advent of WWW and outburst in technology and software development, testing the software became a major concern. Due to the importance of the testing phase in a software development life cycle, testing has been divided into…

软件工程 · 计算机科学 2012-02-22 A. Isabella , Emi Retna

The problem of scheduling with testing in the framework of explorable uncertainty models environments where some preliminary action can influence the duration of a task. In the model, each job has an unknown processing time that can be…

数据结构与算法 · 计算机科学 2021-08-20 Susanne Albers , Alexander Eckl