Search
Now showing items 11-20 of 47
Defining architectural viewpoints for quality concerns
(Springer Science+Business Media, 2011)
A common practice in software architecture design is to apply architectural views to model the design decisions for the various stakeholder concerns. When dealing with quality concerns, however, it is more difficult to ...
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems
(The ACM Digital Library, 2019-06)
We propose a novel technique based on recurrent artificial neural networks to generate test cases for black-box testing of reactive systems. We combine functional testing inputs that are automatically generated from a model ...
DILAF: A framework for distributed analysis of large-scale system logs for anomaly detection
(Wiley, 2019-02)
System logs constitute a rich source of information for detection and prediction of anomalies. However, they can include a huge volume of data, which is usually unstructured or semistructured. We introduce DILAF, a framework ...
Verification and analysis of domain-specific models of physical characteristics in embedded control software
(Elsevier, 2012-12)
ContextA considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics ...
Automated extraction of feature models from android based portable devices
(IEEE, 2017)
Domain analysis is an essential activity in software product line engineering to identify common and variable features among the products of a product family. Feature models are commonly used for depicting the identified ...
FORMAT: a tool for adapting test models based on feature models
(IEEE, 2017)
We introduce a tool that facilitates the reuse of test models for a family of systems. Test models are defined as hierarchical Markov chains for specifying possible usage of features for these systems. Variability among ...
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 ...
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 ...
Runtime verification of component-based embedded software
(Springer, 2011)
To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and ...
Evaluating software architecture erosion for PL/SQL programs
(The ACM Digital Library, 2017)
PL/SQL procedures are grouped into packages for providing modularity. These procedures are indirectly coupled due to their use of common database tables. We define a cohesion metric and cluster PL/SQL procedures based on ...
Share this page