中文
相关论文

相关论文: Can Pairwise Testing Perform Comparably to Manuall…

200 篇论文

Software product lines (SPL) are a method for the development of variant-rich software systems. Compared to non-variable systems, testing SPLs is extensive due to an increasingly amount of possible products. Different approaches exist for…

软件工程 · 计算机科学 2015-04-10 Hartmut Lackner , Martin Schmidt

Coupling metrics are an established way to measure software architecture quality with respect to modularity. Static coupling metrics are obtained from the source or compiled code of a program, while dynamic metrics use runtime data gathered…

软件工程 · 计算机科学 2019-09-30 Henning Schnoor , Wilhelm Hasselbring

Evaluating Software testability can assist software managers in optimizing testing budgets and identifying opportunities for refactoring. In this paper, we abandon the traditional approach of pursuing testability measurements based on the…

软件工程 · 计算机科学 2021-02-23 Luca Guglielmo , Andrea Riboni , Giovanni Denaro

Context: Over the past decade Software Engineering research has seen a steady increase in survey-based studies, and there are several guidelines providing support for those willing to carry out surveys. The need for auditing survey research…

软件工程 · 计算机科学 2019-01-29 Jefferson Seide Molléri , Kai Petersen , Emilia Mendes

Just like other software, spreadsheets can contain significant faults. Static analysis is an accepted and well-established technique in software engineering known for its capability to discover faults. In recent years, a growing number of…

软件工程 · 计算机科学 2014-01-30 Daniel Kulesz , Jan-Peter Ostberg

The optimization of large experiments in fundamental science, such as detectors for subnuclear physics at particle colliders, shares with the optimization of complex systems for industrial or societal applications the common issue of…

仪器与探测器 · 物理学 2026-03-30 Tommaso Dorigo , Pietro Vischia , Shahzaib Abbas , Tosin Adewumi , Lama Alkhaled , Lorenzo Arsini , Muhammad Awais , Maxim Borisyak , András Bóta , Florian Bury , Sascha Caron , James Carzon , Long Chen , Prakash C. Chhipa , Paul Christakopoulos , Jacopo De Piccoli , Andrea De Vita , Zlatan Dimitrov , Michele Doro , Luigi Favaro , Francesco Ferranti , Santiago Folgueras , Rihab Gargouri , Nicolas R. Gauger , Andrea Giammanco , Christian Glaser , Tobias Golling , João A. Gonçalves , Hui Han , Hamza Hanif , Lukas Heinrich , Yan Chai Hum , Florent Imbert , Andreas Ipp , Michael Kagan , Noor Kainat Syeda , Rukshak Kapoor , Aparup Khatua , Eduard J. Kerkhoven , Jan Kieseler , Tobias Kortus , Ashish Kumar Singh , Marius S. Köppel , Daniel Lanchares , Ann Lee , Pelayo Leguina , Christos Leonidopoulos , Giuseppe Levi , Boying Li , Chang Liu , Marcus Liwicki , Karl Lowenmark , Enrico Lupi , Carlo Mancini-Terracciano , Dominik Maršík , Leonidas Matsakas , Hamam Mokayed , Federico Nardi , Amirhossein Nayebiastaneh , Xuan T. Nguyen , Aitor Orio , Jingjing Pan , Jigar Patel , Carmelo Pellegrino , María Pereira Martínez , Karolos Potamianos , Shah Rukh Qasim , Martin Ravn , Luis Recabarren Vergara , Humberto Reyes-González , Hipolito A. Riveros Guevara , Ippocratis D. Saltas , Rajkumar Saini , Fredrik Sandin , Alexander Schilling , Kylian Schmidt , Nicola Serra , Saqib Shahzad , Foteini Simistira Liwicki , Giles C. Strong , Kristian Tchiorniy , Mia Tosi , Andrey Ustyuzhanin , Xabier Cid Vidal , Kinga A. Wozniak , Mengqing Wu , Zahraa Zaher

This paper demonstrates the systematic use of combinatorial coverage for selecting and characterizing test and training sets for machine learning models. The presented work adapts combinatorial interaction testing, which has been…

机器学习 · 计算机科学 2022-02-01 Tyler Cody , Erin Lanus , Daniel D. Doyle , Laura Freeman

Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underlying assumptions. Tools supporting such development have…

计算机科学中的逻辑 · 计算机科学 2020-03-17 Talia Ringer , Karl Palmskog , Ilya Sergey , Milos Gligoric , Zachary Tatlock

Diversity has been used as an effective criteria to optimise test suites for cost-effective testing. Particularly, diversity-based (alternatively referred to as similarity-based) techniques have the benefit of being generic and applicable…

Background: Pair programming (PP) can have many benefits in industry. Researchers and practitioners recognize that successful and productive PP involves some skill that might take time to learn and improve. Question: What are the elements…

软件工程 · 计算机科学 2021-02-15 Franz Zieris , Lutz Prechelt

Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sampling techniques such as combinatorial interaction testing…

软件工程 · 计算机科学 2017-10-24 Xavier Devroey , Maxime Cordy , Gilles Perrouin , Pierre-Yves Schobbens , Axel Legay , Patrick Heymans

Software is at the core of most scientific discoveries today. Therefore, the quality of research results highly depends on the quality of the research software. Rigorous testing, as we know it from software engineering in the industry,…

软件工程 · 计算机科学 2024-12-20 Michael Dorner , Andreas Bauer , Florian Angermeir

A policy maker faces a sequence of unknown outcomes. At each stage two (self-proclaimed) experts provide probabilistic forecasts on the outcome in the next stage. A comparison test is a protocol for the policy maker to (eventually) decide…

统计方法学 · 统计学 2019-09-19 Itay Kavaler , Rann Smorodinsky

Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach…

编程语言 · 计算机科学 2020-02-19 Fred Mesnard , Étienne Payet , Germán Vidal

We demonstrate that the forecasting combination puzzle is a consequence of the methodology commonly used to produce forecast combinations. By the combination puzzle, we refer to the empirical finding that predictions formed by combining…

计量经济学 · 经济学 2023-08-11 David T. Frazier , Ryan Covey , Gael M. Martin , Donald Poskitt

Pairwise comparison matrices are frequently applied in multi-criteria decision making. A weight vector is called efficient if no other weight vector is at least as good in approximating the elements of the pairwise comparison matrix, and…

最优化与控制 · 数学 2017-10-03 Sándor Bozóki , János Fülöp

Randomised field experiments, such as A/B testing, have long been the gold standard for evaluating the value that new software brings to customers. However, running randomised field experiments is not always desired, possible or even…

软件工程 · 计算机科学 2022-07-04 Yuchu Liu , David Issa Mattos , Jan Bosch , Helena Holmström Olsson , Jonn Lantz

In today's world, we need to ensure that AI systems are fair and unbiased. Our study looked at tools designed to test the fairness of software to see if they are practical and easy for software developers to use. We found that while some…

软件工程 · 计算机科学 2024-09-05 Thanh Nguyen , Luiz Fernando de Lima , Maria Teresa Badassarre , Ronnie de Souza Santos

Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practice this decoupling is difficult. No single inference…

编程语言 · 计算机科学 2022-04-15 Maria I. Gorinova

Software testing is an essential knowledge area required by industry for software engineers. However, software engineering students often consider testing less appealing than designing or coding. Consequently, it is difficult to engage…