Browsing by Subject "software testing"

Now showing 1 - 3 of 3

Access status: Restricted ,
Analiza skuteczności testowania mutacyjnego
(Data obrony: 2017-07-04) Witaszczyk, Karol
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Access status: Open Access ,
Model formalny dla problemu lokalizacji błędów w kodzie programu
(Wydawnictwa AGH, 2007) Dereniowski, Dariusz; Kubale, Marek
There are several criteria for testing program correctness. In this paper we deal with the problem of automatic software testing under the assumption that the set of tests (assertions) is given for selected blocks of code. We simplify the analysis by assuming that the program being tested contains exactly one bug, but this does not lead to loss of generality. We consider some practical aspects of the above problem and a graph-theoretical model in general as well as some chromatic aspects of a graph searching model in particular.
Access status: Open Access ,
The benefits of testing software in se research: lessons learned from two phd projects
(Wydawnictwa AGH, 2025) Novak, Matija; Mijač, Marko
Software engineering (SE) research often involves creating software – either as a primary research output (e.g., in design science research) or as a supporting tool for the traditional research process. Ensuring software quality is essential, as it influences both the research process and the credibility of findings. Integrating software-testing methods into SE research can streamline efforts by addressing the goals of both research and development processes simultaneously. This paper highlights the advantages of incorporating software testing in SE research – particularly for research evaluation. Through qualitative analysis of software artifacts and insights from two PhD projects, we present ten lessons learned. These experiences demonstrate that, when effectively integrated, software