Search
Now showing items 1-6 of 6
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 ...
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 ...
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 ...
DAPNA: an architectural framework for data processing networks
(Springer Science+Business Media, 2013)
A data processing network is as a set of (software) components connected through communication channels to apply a series of operations on data. Realization and maintenance of large-scale data processing networks necessitate ...
MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software
(Elsevier, 2013-10)
Today's complex embedded systems function in varying operational conditions. The control software adapts several control variables to keep the operational state optimal with respect to multiple objectives. There exist ...
Optimizing decomposition of software architecture for local recovery
(Springer Science+Business Media, 2013-06)
The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, ...
Share this page