Search
Now showing items 1-4 of 4
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 ...
Automated procedure clustering for reverse engineering PL/SQL programs
(ACM, 2016)
PL/SQL programs are mainly composed of procedures that interact with a database. These procedures are grouped into packages at the architecture design level for increasing modularity and maintainability. However, the ...
Successive refinement of models for model-based testing to increase system test effectiveness
(IEEE, 2016)
Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ...
Share this page