Search
Now showing items 1-2 of 2
Combining model-based and risk-based testing for effective test case generation
(IEEE, 2015)
Model-based testing employs models of the system under test to automatically generate test cases. In this paper, we propose an iterative approach, in which these models are refined based on the principles of risk-based ...
Integrated static code analysis and runtime verification
(Wiley, 2015-10)
Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false ...
Share this page