中文
相关论文

相关论文: Exploratory Testing: One Size Doesn't Fit All

200 篇论文

Test-time scaling (TTS) has emerged as a new frontier for scaling the performance of Large Language Models. In test-time scaling, by using more computational resources during inference, LLMs can improve their reasoning process and task…

计算与语言 · 计算机科学 2025-09-10 V Venktesh , Mandeep Rathee , Avishek Anand

Reproducibility is a fundamental requirement for validating scientific claims in computational research. Stochastic computational models are widely used in fields such as systems biology, financial modeling and environmental sciences.…

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

Testing plays an important role in securing the success of a software development project. Prior studies have demonstrated beneficial effects of applying acceptance testing within a Behavioural-Driven Development method. In this research,…

软件工程 · 计算机科学 2024-08-23 Marina Filipovic , Fabian Gilson

Mobile app development involves a unique set of challenges including device fragmentation and rapidly evolving platforms, making testing a difficult task. The design space for a comprehensive mobile testing strategy includes features,…

软件工程 · 计算机科学 2018-01-22 Mario Linares Vasquez , Kevin Moran , Denys Poshyvanyk

Unlike most other software quality attributes, testability cannot be evaluated solely based on the characteristics of the source code. The effectiveness of the test suite and the budget assigned to the test highly impact the testability of…

软件工程 · 计算机科学 2022-08-25 Morteza Zakeri-Nasrabadi , Saeed Parsa

Developing real-time automated test systems for embedded control systems has been a real problem. Some engineers and scientists have used customized software and hardware as a solution, which can be very expensive and time consuming to…

其他计算机科学 · 计算机科学 2007-05-23 Jon Hawkins , Haung V. Nguyen , Reginald B. Howard

Externally controlled trials (ECTs) are increasingly used when randomized controls are infeasible, unethical, or insufficient, including applications in rare diseases, oncology, pediatrics, and post-approval effectiveness research. Although…

Context: Research software is essential for developing advanced tools and models to solve complex research problems and drive innovation across domains. Therefore, it is essential to ensure its correctness. Software testing plays a vital…

软件工程 · 计算机科学 2025-01-30 Nasir U. Eisty , Upulee Kanewala , Jeffrey C. Carver

Combinatorial Testing (CT) is a potentially powerful testing technique, whereas its failure revealing ability might be dramatically reduced if it fails to handle constraints in an adequate and efficient manner. To ensure the wider…

软件工程 · 计算机科学 2019-08-08 Huayao Wu , Changhai Nie , Justyna Petke , Yue Jia , Mark Harman

Assessing the exploitability of software vulnerabilities at the time of disclosure is difficult and error-prone, as features extracted via technical analysis by existing metrics are poor predictors for exploit development. Moreover,…

密码学与安全 · 计算机科学 2022-02-04 Octavian Suciu , Connor Nelson , Zhuoer Lyu , Tiffany Bao , Tudor Dumitras

Agentic Test-Time Scaling (TTS) has delivered state-of-the-art (SOTA) performance on complex software engineering tasks such as code generation and bug fixing. However, its practical adoption remains limited due to significant computational…

软件工程 · 计算机科学 2026-05-14 Chenhui Mao , Yuanting Lei , Zhixiang Wei , Ming Liang , Zhixiang Wang , Jingxuan Xu , Dajun Chen , Wei Jiang , Yong Li

With the rapid advancement of information technology, the complexity of applications continues to increase, and the cybersecurity challenges we face are also escalating. This paper aims to investigate the methods and practices of system…

密码学与安全 · 计算机科学 2026-02-02 Chunyi Zhang , Jin Zeng , Xiaoqi Li

Testing is an essential quality activity in the software development process. Usually, a software system is tested on several levels, starting with unit testing that checks the smallest parts of the code until acceptance testing, which is…

软件工程 · 计算机科学 2024-03-21 Lucas Neves , Oscar Campos , Robson Santos , Italo Santos , Cleyton Magalhaes , Ronnie de Souza Santos

Computerized Adaptive Testing (CAT) offers an efficient and personalized method for assessing examinee proficiency by dynamically adjusting test questions based on individual performance. Compared to traditional, non-personalized testing…

Automated tests play an important role in software evolution because they can rapidly detect faults introduced during changes. In practice, code-coverage metrics are often used as criteria to evaluate the effectiveness of test suites with…

软件工程 · 计算机科学 2016-11-23 Rainer Niedermayr , Elmar Juergens , Stefan Wagner

As quantum computing continues to emerge, ensuring the quality of quantum programs has become increasingly critical. Quantum program testing has emerged as a prominent research area within the scope of quantum software engineering. While…

软件工程 · 计算机科学 2025-10-21 Jiaming Ye , Xiongfei Wu , Shangzhou Xia , Fuyuan Zhang , Jianjun Zhao

Recent advancements in software engineering agents have demonstrated promising capabilities in automating program improvements. However, their reliance on closed-source or resource-intensive models introduces significant deployment…

软件工程 · 计算机科学 2025-04-09 Yingwei Ma , Yongbin Li , Yihong Dong , Xue Jiang , Rongyu Cao , Jue Chen , Fei Huang , Binhua Li

Recent advances in quantum computing have significantly accelerated research into quantum-assisted information retrieval and recommender systems, particularly in solving feature selection problems by formulating them as Quadratic…

量子物理 · 物理学 2025-07-22 Jiayang Niu , Qihan Zou , Jie Li , Ke Deng , Mark Sanderson , Yongli Ren

Language models (LMs) perform well on standardized coding benchmarks but struggle with real-world software engineering tasks such as resolving GitHub issues in SWE-Bench, especially when model parameters are less than 100B. While smaller…