English
Related papers

Related papers: Can Pairwise Testing Perform Comparably to Manuall…

200 papers

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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Instrumentation and Detectors · Physics 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…

Machine Learning · Computer Science 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…

Logic in Computer Science · Computer Science 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…

Software Engineering · Computer Science 2018-07-18 Francisco Gomes de Oliveira Neto , Robert Feldt , Linda Erlenhov , José Benardi de Souza Nunes

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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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,…

Software Engineering · Computer Science 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…

Methodology · Statistics 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…

Programming Languages · Computer Science 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…

Econometrics · Economics 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…

Optimization and Control · Mathematics 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Programming Languages · Computer Science 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…

Software Engineering · Computer Science 2023-04-25 Raquel Blanco , Manuel Trinidad , Maria Jose Suarez-Cabal , Alejandro Calderon , Mercedes Ruiz , Javier Tuya