Search
Now showing items 1-10 of 26
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 ...
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 ...
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 ...
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 ...
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 ...
Model-based software product line testing by coupling feature Mmodels with hierarchical Markov chain usage models
(IEEE, 2016)
Model-based testing automates test case generation based on usage models of a system. In this paper, we introduce an approach for systematic reuse of these models for testing a large family of products. In our approach, ...
Using hypergraph clustering for software architecture reconstruction of data-tier software
(Springer International Publishing, 2016)
Software architecture reconstruction techniques aim at recovering software architecture documentation regarding a software system. These techniques mainly analyze coupling/dependencies among the software modules to group ...
Reproducing failures based on semiformal failure scenario descriptions
(Springer International Publishing, 2017)
Due to the increasing size and complexity of software systems, it becomes hard to test these systems exhaustively. As a result, some faults can be left undetected. Undetected faults can lead to failures in deployed systems. ...
Share this page