Search
Now showing items 1-10 of 54
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 ...
Rumadai: A plug-in to record and replay client-side events of web sites with dynamic content
(IEEE, 2012)
Reproducing user events when testing web pages is challenging because of the dynamic nature of the web content and potential dependency on third party content providers. We present Rumadai, a Visual Studio plug-in, that ...
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 ...
Spectrum-based fault localization for diagnosing concurrency faults
(Springer Science+Business Media, 2013)
Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization ...
Share this page