Testing abstractions for cyber-physical control systems
C Mandrioli, M Nyberg Carlsson… - ACM Transactions on …, 2023 - dl.acm.org
Control systems are ubiquitous and often at the core of Cyber-Physical Systems, like cars
and aeroplanes. They are implemented as embedded software that interacts in closed loop …
and aeroplanes. They are implemented as embedded software that interacts in closed loop …
Software testing research challenges: An industrial perspective
N Alshahwan, M Harman… - 2023 IEEE Conference …, 2023 - ieeexplore.ieee.org
There have been rapid recent developments in automated software test design, repair and
program improvement. Advances in artificial intelligence also have great potential impact to …
program improvement. Advances in artificial intelligence also have great potential impact to …
Software testing: Review on tools, techniques and challenges
The software testing process enables the verification and validation of a software program,
to ascertain it works as per the users' expectations. Software testing provides a means to …
to ascertain it works as per the users' expectations. Software testing provides a means to …
A container-based infrastructure for fuzzy-driven root causing of flaky tests
Intermittent test failures (test flakiness) is common during continuous integration as modern
software systems have become inherently non-deterministic. Understanding the root cause …
software systems have become inherently non-deterministic. Understanding the root cause …
Flakime: laboratory-controlled test flakiness impact assessment
Much research on software testing makes an implicit assumption that test failures are
deterministic such that they always witness the presence of the same defects. However, this …
deterministic such that they always witness the presence of the same defects. However, this …
Sentinel: A hyper-heuristic for the generation of mutant reduction strategies
Mutation testing is an effective approach to evaluate and strengthen software test suites, but
its adoption is currently limited by the mutants' execution computational cost. Several …
its adoption is currently limited by the mutants' execution computational cost. Several …
Flakime: Laboratory-controlled test flakiness impact assessment. A case study on mutation testing and program repair
Much research on software testing makes an implicit assumption that test failures are
deterministic such that they always witness the presence of the same defects. However, this …
deterministic such that they always witness the presence of the same defects. However, this …
Efficiency metrics and test case design for test automation
D Gafurov, AE Hurum - 2020 IEEE 20th International …, 2020 - ieeexplore.ieee.org
In this paper, we present our test automation work applied on national e-health portal for
residents in Norway which has over million monthly visits. The focus of the work is threefold …
residents in Norway which has over million monthly visits. The focus of the work is threefold …
[PDF][PDF] FlakiMe: Laboratory-controlled test flakiness impact assessment. A case study on mutation testing and automated program repair
Much research on software testing makes an implicit assumption that test failures are
deterministic such that they always witness the presence of the same defects. However, this …
deterministic such that they always witness the presence of the same defects. However, this …
Data-driven test case design of automatic test cases using Markov chains and a Markov chain Monte Carlo method
J Lindahl, D Persson - 2021 - diva-portal.org
Large and complex software that is frequently changed leads to testing challenges. It is well
established that the later a fault is detected in software development, the more it costs to fix …
established that the later a fault is detected in software development, the more it costs to fix …