Search
Now showing items 1-10 of 47
Adaptive domain-specific service monitoring
(Springer Science+Business Media, 2014)
We propose an adaptive and domain-specific service monitoring approach to detect partner service errors in a cost-effective manner. Hereby, we not only consider generic errors such as file not found or connection timed ...
Fault masking as a service
(Wiley, 2014-07)
In SOA, composite services depend on a set of partner services to perform their tasks. These partner services may become unavailable because of system and/or network faults, leading to an increased error rate for the ...
Trust-based fusion of classifiers for static code analysis
(IEEE, 2014)
Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, developers are usually exposed to a large number of alerts. Moreover, some of these alerts are ...
Automated classification of static code analysis alerts: a case study
(IEEE, 2013)
Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, developers are usually exposed to a large number of alerts. Moreover, some of these alerts are ...
Effort estimation for architectural refactoring to introduce module isolation
(Springer, 2014)
The decomposition of software architecture into modular units is driven by both functional and quality concerns. Dependability and security are among quality concerns that require a software to be decomposed into separate ...
Increasing test efficiency by risk-driven model-based testing
(Elsevier, 2018-10)
We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise ...
A run-time verification framework for smart grid applications implemented on simulation frameworks
(IEEE, 2013)
Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation ...
Guiding architects in selecting architectural evolution alternatives
(Springer Science+Business Media, 2011)
Although there exist methods and tools to support architecture evolution, the derivation and evaluation of alternative evolution paths are realized manually. In this paper, we introduce an approach, where architecture ...
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 ...
Improving models for model-based testing based on exploratory testing
(IEEE, 2014)
Model-based testing facilitates automatic generation of test cases by means of models of the system under test. Correctness and completeness of these models determine the effectiveness of the generated test cases. Critical ...
Share this page