Abstract | ||
---|---|---|
Search-based testing is widely used for generating test sets. It is also applied in the case of model-based testing, especially for (extended) finite state machines. In this paper, we define such an approach for kernel P system models. We consider a specific kernel P system model and a define a search-based testing method. The test set generated consists of input sequences producing a given computation defined by the model. An example illustrates the use of the introduced method. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/s41965-019-00027-w | Journal of Membrane Computing |
Keywords | DocType | Volume |
Membrane computing, Kernel P systems, Search-based testing, Genetic algorithms, Test data generation | Journal | 1 |
Issue | ISSN | Citations |
4 | 2523-8906 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ana Turlea | 1 | 1 | 2.04 |
Marian Gheorghe | 2 | 893 | 74.31 |
Florentin Ipate | 3 | 419 | 43.20 |
Savas Konur | 4 | 131 | 13.40 |