Publisher
Now showing items 1-3 of 3
-
Aggregation for Computing Multi-Modal Stationary Distributions in 1-D Gene Regulatory Networks
(IEEE COMPUTER SOC, 2018)This paper proposes aggregation-based, three-stage algorithms to overcome the numerical problems encountered in computing stationary distributions and mean first passage times for multi-modal birth-death processes of large ... -
Exploiting Model Morphology for Event-Based Testing
(IEEE COMPUTER SOC, 2015)Model-based testing employs models for testing. Model-based mutation testing (MBMT) additionally involves fault models, called mutants, by applying mutation operators to the original model. A problem encountered with MBMT ... -
Featured Event Sequence Graphs for Model-Based Incremental Testing of Software Product Lines
(IEEE COMPUTER SOC, 2019)The goal of software product lines (SPLs) is rapid development of high-quality software products in a specific domain with cost minimization. To assure quality of software products from SPLs, products need to be tested ...
DSpace@YASAR by Yasar University Institutional Repository is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 Unported License..
