中文
相关论文

相关论文: Code-Aware Combinatorial Interaction Testing

200 篇论文

Combinatorial testing has been suggested as an effective method of creating test cases at a lower cost. However, industrially applicable tools for modeling and combinatorial test generation are still scarce. As a direct effect,…

软件工程 · 计算机科学 2018-06-12 Sara Ericsson , Eduard Enoiu

Modern Systems-on-Chip (SoCs) incorporate built-in self-test (BIST) modules deeply integrated into the device's intellectual property (IP) blocks. Such modules handle hardware faults and defects during device operation. As such, BIST…

Context: Continuous integration (CI) is a software engineering technique that proclaims a set of frequent activities to assure the health of the software product. Researchers and practitioners mention several benefits related to CI.…

软件工程 · 计算机科学 2022-01-11 Eliezio Soares , Gustavo Sizilio , Jadson Santos , Daniel Alencar , Uira Kulesza

By leveraging quantum-mechanical properties like superposition, entanglement, and interference, quantum computing (QC) offers promising solutions for problems that classical computing has not been able to solve efficiently, such as drug…

人机交互 · 计算机科学 2025-02-14 Hyeok Kim , Mingyoung J. Jeng , Kaitlin N. Smith

Textual interaction networks (TINs) are an omnipresent data structure used to model the interplay between users and items on e-commerce websites, social networks, etc., where each interaction is associated with a text description.…

计算与语言 · 计算机科学 2025-04-08 Hongtao Wang , Renchi Yang , Hewen Wang , Haoran Zheng , Jianliang Xu

The software industry is experiencing a surge in the adoption of Continuous Integration (CI) practices, both in commercial and open-source environments. CI practices facilitate the seamless integration of code changes by employing automated…

软件工程 · 计算机科学 2024-05-17 Hajer Mhalla , Mohamed Aymen Saied

Group testing can help maintain a widespread testing program using fewer resources amid a pandemic. In group testing, we are given $n$ samples, one per individual. These samples are arranged into $m < n$ pooled samples, where each pool is…

信息论 · 计算机科学 2022-01-20 Ritesh Goenka , Shu-Jie Cao , Chau-Wai Wong , Ajit Rajwade , Dror Baron

Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to reveal defects in the code in an early stage of development. Many unit…

软件工程 · 计算机科学 2010-12-07 Norbert Pataki

Nowadays, ensuring the quality becomes challenging for most modern software systems when constraints are given for the combinations of configurations. Combinatorial interaction strategies can systematically reduce the number of test cases…

软件工程 · 计算机科学 2019-09-17 Imad H. Hasan , Bestoun S. Ahmed , Moayad Y. Potrus , Kamal Z. Zamli

Computing systems rarely deliver best possible performance due to ever increasing hardware and software complexity and limitations of the current optimization technology. Additional code and architecture optimizations are often required to…

分布式、并行与集群计算 · 计算机科学 2014-07-15 Grigori Fursin

Causal discovery is a powerful technique for identifying causal relationships among variables in data. It has been widely used in various applications in software engineering. Causal discovery extensively involves conditional independence…

软件工程 · 计算机科学 2023-09-12 Pingchuan Ma , Zhenlan Ji , Peisen Yao , Shuai Wang , Kui Ren

Cryogenic solid state detectors are widely used in dark matter and neutrino experiments, and require a sensible raw data analysis. For this purpose, we present Cait, an open source Python package with all essential methods for the analysis…

Critical embedded systems (CES) have become ubiquitous in whether medical, automotive, or industrial. Software failures in such systems are potentially disastrous and could lead to serious consequences not only financially but also…

软件工程 · 计算机科学 2022-08-11 Hafsa Cheddadi , Saad Motahhir , Abdelaziz El Ghzizal

Search-based approaches have been used in the literature to automate the process of creating unit test cases. However, related work has shown that generated unit-tests with high code coverage could be ineffective, i.e., they may not detect…

软件工程 · 计算机科学 2022-10-19 Pouria Derakhshanfar , Xavier Devroey , Annibale Panichella , Andy Zaidman , Arie van Deursen

This paper proposes a more comprehensive evaluation methodology to measure the usability and user experience qualities of accessible synchronous computer-mediated communication applications. The methodology goes beyond current practices by…

人机交互 · 计算机科学 2011-02-17 Fernando G. Lobo , Marielba Zacarias , Paulo A. Condado , Teresa Romão , Rui Godinho , Manuel Moreno

Context: Visual GUI testing (VGT) is referred to as the latest generation GUI-based testing. It is a tool-driven technique, which uses image recognition for interacting with and asserting the behavior of the system under test. Motivated by…

Cooperative Intelligent Transportation Systems (cITS) are a promising technology to enhance driving safety and efficiency. Vehicles communicate wirelessly with other vehicles and infrastructure, thereby creating a highly dynamic and…

密码学与安全 · 计算机科学 2018-11-30 Rens W. van der Heijden , Stefan Dietzel , Tim Leinmüller , Frank Kargl

With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To this end, we present the quantum software testing tool QuCAT…

软件工程 · 计算机科学 2023-09-04 Xinyi Wang , Paolo Arcaini , Tao Yue , Shaukat Ali

Coyote C++ is an automated testing tool that uses a sophisticated concolic-execution-based approach to realize fully automated unit testing for C and C++. While concolic testing has proven effective for languages such as C and Java, tools…

编程语言 · 计算机科学 2023-10-24 Sanghoon Rho , Philipp Martens , Seungcheol Shin , Yeoneo Kim , Hoon Heo , SeungHyun Oh

Reactive systems are characterized by the interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this nature, in general, require a rigorous testing activity over…

软件工程 · 计算机科学 2020-11-03 Adilson Luiz Bonifacio , Camila Sonoda Gomes